The math library of Lean 4
Tool for data extraction and interacting with Lean programmatically.
neovim support for the Lean theorem prover
The "batteries included" extended library for the Lean programming langu...
A simple raytracer written in Lean 4
**(Deprecated: Merged into Lean 4)** Lean 4 build system and package man...
Formalizing stochastic doubly-efficient debate
🧪 | Rinha de Backend Lean4
Materials for the course "theorem prover lab: applications in programmin...
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Lean4 port of Arduino balance car controller
LLVM support for the lean theorem prover