lean4 topic
List
lean4 repositories
lean4
3.9k
Stars
327
Forks
Watchers
Lean 4 programming language and theorem prover
lean.nvim
210
Stars
23
Forks
Watchers
neovim support for the Lean theorem prover
lean4-raytracer
116
Stars
5
Forks
Watchers
A simple raytracer written in Lean 4
SciLean
226
Stars
16
Forks
Watchers
Scientific computing in Lean 4
theorem_proving_in_lean4
141
Stars
79
Forks
Watchers
Theorem Proving in Lean 4
lake
97
Stars
19
Forks
Watchers
**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
lean-crypto
36
Stars
3
Forks
Watchers
Cryptographic routines for the Lean 4 language