Lean 4 programming language and theorem prover
Lean 4.5k 397
Package registry for Lean/Lake.
Automated releases from leanprover/lean4 PRs
Armv8 Native Code Symbolic Simulator in Lean
A StableHLO analyzer in Lean
Lean documentation authoring tool
Nightly builds
Registry index for Reservoir
Loading…