Content-Length: 282014 | pFad | http://github.com/leanprover
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Lean 4 programming language and theorem prover
Lean 5.9k 616
A formalization of ML kernel languages
A StableHLO analyzer in Lean
(Mirror) A Machine-to-Machine Interaction System for Lean 4
Automated releases from leanprover/lean4 PRs
There was an error while loading. Please reload this page.
Registry index for Reservoir
The Lean reference manual
Lean documentation authoring tool
Nightly builds
A verified tensor library in Lean
Fetched URL: http://github.com/leanprover
Alternative Proxies:
Alternative Proxy
pFad Proxy
pFad v3 Proxy
pFad v4 Proxy
