Pinned Loading

1. math-inc/Sphere-Packing-Lean math-inc/Sphere-Packing-Lean Public

   Forked from thefundamentaltheor3m/Sphere-Packing-Lean

   A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.

   Lean 46 3

2. LeanInteract LeanInteract Public

   LeanInteract: A Python Interface for Lean 4

   Python 108 10

3. math-inc/strongpnt math-inc/strongpnt Public

   Lean 300 18

4. RLMEval RLMEval Public

   Python 11 3

5. SC-TPTP/lean-sctptp SC-TPTP/lean-sctptp Public

   Forked from leanprover-community/lean-auto

   Experiments in automation for Lean

   Lean 1