Pinned Loading

1. leanprover-community/lean4game leanprover-community/lean4game Public

   Server to host lean games.

   TypeScript 269 46

2. sneeuwballen/zipperposition sneeuwballen/zipperposition Public

   An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…

   OCaml 144 18

3. leanprover-community/lean4web leanprover-community/lean4web Public

   The Lean 4 web editor

   TypeScript 91 34

4. leanprover-community/duper leanprover-community/duper Public

   Lean 79 12

5. verified-optimization/CvxLean verified-optimization/CvxLean Public

   Convex optimization modeling in Lean 4

   Lean 46 5

6. hhu-adam/lean4monaco hhu-adam/lean4monaco Public

   Browser support for Lean using a monaco editor.

   TypeScript 8 3