Lean Library Index
ReasBook
Books and papers formalized in Lean.
Books
11-
Algebraic Topology (May, 1999)
AlgebraicTopology_May_1999v4.30.0 -
Analysis 2 (Tao, 2022)
Analysis2_Tao_2022v4.30.0 -
Combinatorial Group Theory (Magnus, 2004)
CombinatorialGroupTheory_Magnus_2004v4.30.0 -
Convex Analysis (Rockafellar, 1970)
ConvexAnalysis_Rockafellar_1970v4.26.0 -
Convex Analysis Monotone Operators (Bauschke Combettes, 2017)
ConvexAnalysisMonotoneOperators_BauschkeCombettes_2017v4.30.0 -
First Order Methods Optimization (Beck, 2017)
FirstOrderMethodsOptimization_Beck_2017v4.30.0 -
Integer Programming (Conforti, 2014)
IntegerProgramming_Conforti_2014v4.26.0 -
Introduction to Real Analysis Volume I (Jiri Lebl, 2025)
IntroductiontoRealAnalysisVolumeI_JiriLebl_2025v4.30.0 -
Introductory Lectures On Convex Optimization (Nesterov, 2004)
IntroductoryLecturesOnConvexOptimization_Nesterov_2004v4.30.0 -
Optimization Theory And Methods (Sun Yuan, 2006)
OptimizationTheoryAndMethods_SunYuan_2006v4.30.0 -
Riemann Surfaces (Forster, 1981)
RiemannSurfaces_Forster_1981v4.30.0