Pinned Loading

1. lean-dojo/LeanMillenniumPrizeProblems lean-dojo/LeanMillenniumPrizeProblems Public

   Formalization of the Millennium Problems in Lean4.

   C 33 2

2. lean-dojo/LeanDojo-v2 lean-dojo/LeanDojo-v2 Public

   LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.

   Python 3 1

3. neuraloperator/neuraloperator neuraloperator/neuraloperator Public

   Learning in infinite dimension with neural operators.

   Python 3.3k 801

4. Theoretical-Algorithms-Implementation Theoretical-Algorithms-Implementation Public

   CLRS(Introduction to Algorithms) - Python/C++/Java Implementation of all the major Algorithms in the CLRS Textbook as well as additional algorithm's covered in the University of Alberta theory Courses

   Python 71 22

5. dealias/fftwpp dealias/fftwpp Public

   Fast Fourier Transform C++ Header/MPI Transpose for FFTW3 with Implicitly Dealiased Convolutions

   C++ 140 17

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

   A collection of formalized statements of conjectures in Lean.

   Lean 736 152