Popular repositories Loading

1. pythagoras4 pythagoras4 Public

   Many proofs of the Pythagoras theorem - Lean 4

   Lean 9

2. leanblueprint-extract leanblueprint-extract Public

   A tool to extract the blueprint from a lean file

   Python 3

3. RMT4 RMT4 Public

   Forked from vbeffara/RMT4

   A fork of Vincent Beffara's project to prove the Riemann Mapping Theorem in lean 4

   Lean 2

4. leapt leapt Public

   leapt is an attempt to get GPT to formalize lean proofs

   Python 1

5. lean-complex-has_primitives lean-complex-has_primitives Public

   TeX

6. leanblueprint leanblueprint Public

   Forked from PatrickMassot/leanblueprint

   plasTeX plugin to build formalization blueprints.

   Python