Foundations of Machine-Checked Control Theory in Lean | Digital Library | PAMCET | PAMCET