Popular repositories Loading

1. fibonacci_squares fibonacci_squares Public

   Lean 4

2. lean-smt lean-smt Public

   Forked from ufmg-smite/lean-smt

   Tactics for discharging Lean goals into SMT solvers.

   Lean 1

3. tutorials tutorials Public

   Forked from leanprover-community/tutorials

   Some Lean tutorials

   Lean

4. M40001_lean M40001_lean Public

   Forked from ImperialCollegeLondon/M40001_lean

   Lean stuff for M40001

   Lean

5. pell pell Public

   Lean

6. LeanAPAP LeanAPAP Public

   Forked from YaelDillies/LeanAPAP

   Formalisation of the Kelley-Meka bound on Roth numbers

   Lean