Parser Combinator Library for Lean 4
fgdorais
A WIP definitional (co)datatype package for Lean4
alexkeizer
Formalizing results about the Mandelbrot set in Lean
girving
🧪 | Rinha de Backend Lean4
aripiprazole
Tools based on AI for helping with Lean 4
siddhartha-gadgil
Lean 4 as a scripting language in Houdini
lecopivo
leanprover-community
Server to host lean games.
The Lean 4 web editor
Natural Number Game
fgdorais
alexkeizer
girving
lecopivo
