Popular repositories Loading

1. lean lean Public

   Forked from leanprover/lean3

   Lean Theorem Prover

   C++ 20 2

2. RadixExperiment RadixExperiment Public

   Lean 19 2

3. LNSym LNSym Public

   Forked from leanprover/LNSym

   Armv8 Native Code Symbolic Simulator in Lean

   Lean 5 4

4. ETAPSTutorial2026 ETAPSTutorial2026 Public

   Lean 5

5. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++ 4 1

6. attr_ex attr_ex Public

   Lean Attributes Example

   Lean 4 1