Pinned Loading

1. mm0 mm0 Public

   Metamath Zero specification language

   Lean 373 50

2. mmj2 mmj2 Public

   mmj2 GUI Proof Assistant for the Metamath project

   Java 77 27

3. lean-type-theory lean-type-theory Public

   LaTeX code for a paper on lean's type theory

   TeX 161 6

4. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 2.8k 1.1k