Pinned Repositories
DL4TP
A Survey on Deep Learning for Theorem Proving
ICL_Course_FormalMathematics_2024
Repository hosting resources for the 2024 course in Formal Mathematics at @ImperialCollegeLondon taught by Kevin Buzzard (@kbuzzard).
LFTCM2024
Repository hosting resources for the 2024 workshop "Lean for the Curious Mathematician".
llmlean
LLMs + Lean, on your laptop or in the cloud
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
mathlib4
The math library of Lean 4.
odyssey-math
pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
UniBonn_Course_Lean4_2023-2024
Repository hosting resources for the 2023/2024 course in Lean at the University of Bonn taught by Floris Van Doorn (@fpvandoorn).
UniRome_Workshop_Lean_2024
Repository hosting resources for the 2024 workshop "Computer-Verified Proofs: 48 Hours in Rome" organised by @oliver-butterley, @RafaelGreenblatt and @marcolenci.
Formal Mathematics Lab's Repositories
FormalMathematicsLab/DL4TP
A Survey on Deep Learning for Theorem Proving
FormalMathematicsLab/llmlean
LLMs + Lean, on your laptop or in the cloud
FormalMathematicsLab/odyssey-math
FormalMathematicsLab/Arithmetization
Formalization of Arithmetization of Metamathematics
FormalMathematicsLab/fpv2023
Lecture notes, exercises, homeworks for Brown CS1951x 2023
FormalMathematicsLab/HausdorffSchoolLean
Repository for the September 2023 Hausdorff School on Lean
FormalMathematicsLab/ICL_Course_FormalMathematics_2024
Repository hosting resources for the 2024 course in Formal Mathematics at @ImperialCollegeLondon taught by Kevin Buzzard (@kbuzzard).
FormalMathematicsLab/lean4-logic
Lean4 Logic Formalization.
FormalMathematicsLab/lean4-metaprogramming-book
FormalMathematicsLab/LFTCM2024
Repository hosting resources for the 2024 workshop "Lean for the Curious Mathematician".
FormalMathematicsLab/logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
FormalMathematicsLab/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
FormalMathematicsLab/mathlib4
The math library of Lean 4.
FormalMathematicsLab/mathlib4-all-tactics
Markdown file of the list and explanations of all mathlib4 tactics
FormalMathematicsLab/ntptutorial
Tutorial on neural theorem proving
FormalMathematicsLab/ntptutorial-II
Neural theorem proving tutorial, version II
FormalMathematicsLab/pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
FormalMathematicsLab/PNT-Plus
blueprint for prime number theorem and more
FormalMathematicsLab/STG4
Set Theory Game
FormalMathematicsLab/type_checking_in_lean4
Type Checking in Lean 4
FormalMathematicsLab/UniBonn_Course_Lean4_2023-2024
Repository hosting resources for the 2023/2024 course in Lean at the University of Bonn taught by Floris Van Doorn (@fpvandoorn).
FormalMathematicsLab/UniRome_Workshop_Lean_2024
Repository hosting resources for the 2024 workshop "Computer-Verified Proofs: 48 Hours in Rome" organised by @oliver-butterley, @RafaelGreenblatt and @marcolenci.
FormalMathematicsLab/Website_LeanInRome
Website for the formalisation of mathematics and Lean event in Rome
FormalMathematicsLab/blog
Source for the community blog
FormalMathematicsLab/equational_theories
A project to map out the relations between different equational theories of Magmas.
FormalMathematicsLab/human-style-atp
FormalMathematicsLab/lean4
Lean 4 programming language and theorem prover
FormalMathematicsLab/leanblueprint
plasTeX plugin to build formalization blueprints.
FormalMathematicsLab/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
FormalMathematicsLab/theorem_proving_in_lean4
Theorem Proving in Lean 4