Lean verification

Doctoral thesis formalization

Lean Formalization Bridge

A navigable map from thesis labels to Lean declarations, proof notes, and verification status.

Definition Theorem Proposition Lemma Corollary Example Equation Verified Thesis only Dependency edge