Pinned Loading

1. lean-dojo/TorchLean lean-dojo/TorchLean Public

   TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.

   Lean 118 12

2. lean-dojo/LeanMillenniumPrizeProblems lean-dojo/LeanMillenniumPrizeProblems Public

   Formalization of the Millennium Problems in Lean 4

   Lean 60 11

3. neuraloperator/neuraloperator neuraloperator/neuraloperator Public

   Learning in infinite dimension with neural operators.

   Python 3.8k 911

4. google-deepmind/formal-conjectures google-deepmind/formal-conjectures Public

   A collection of formalized statements of conjectures in Lean.

   Lean 1.2k 404

5. lean-dojo/LeanDojo lean-dojo/LeanDojo Public

   Tool for data extraction and interacting with Lean programmatically.

   Python 823 117

6. plclub/sf-in-lean plclub/sf-in-lean Public

   Development repo for translating Software Foundations to Lean

   Rocq Prover 49 4