proxy.golang.org : github.com/leanprover/lean

Lean Theorem Prover

Registry - Source - Documentation - JSON - codemeta.json
purl: pkg:golang/github.com/leanprover/lean
Keywords: dependent-types , lean , programming-language , theorem-proving , type-theory , verification
License: Apache-2.0
Latest release: about 7 years ago
First release: about 9 years ago
Stars: 2,150 on GitHub
Forks: 217 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 6 days ago

• Readme
• Versions 7
• Dependent Packages 0
• Maintainers 0