Popular repositories Loading

1. mathematica mathematica Public

   Lean-independent implementation of the MM-Lean link

   Lean 30 5

2. lean4-autograder-main lean4-autograder-main Public

   Lean 7 7

3. mathematica_examples mathematica_examples Public

   Lean 4 1

4. smtlib2polya smtlib2polya Public

   Python 2 2

5. lean lean Public

   Forked from leanprover/lean3

   Lean Theorem Prover

   C++ 1

6. mm_lean mm_lean Public

   Forked from minchaowu/mm-lean

   Lean 1