Popular repositories Loading

1. lean lean Public

   Forked from leanprover/lean3

   Lean Theorem Prover

   C++ 15 2

2. LNSym LNSym Public

   Forked from leanprover/LNSym

   Armv8 Native Code Symbolic Simulator in Lean

   Lean 3 2

3. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++ 2

4. attr_ex attr_ex Public

   Lean Attributes Example

   Lean 2 1

5. APPA APPA Public

   \all X. X \Pi: APPA article

   TeX 1 1

6. libraries libraries Public

   Lean Libraries

   Lua 1 2