Armv8 Native Code Symbolic Simulator in Lean

Automated releases from leanprover/lean4 PRs

Lean 4 programming language and theorem prover

Registry index for Reservoir

Lean documentation authoring tool

Document Generator for Lean 4

Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.

Nightly builds

Package registry for Lean/Lake.