Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
lightmode
Light Lean proofs about low-level machine behavior.
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
5mo ago
Recent commits
Latest commits.
update readme
803ad4a
sanketh
5mo ago
ciphertext-01
683be4b
sanketh
5mo ago
Initial commit
2419f0c
Lean 4 VS Code Extension
5mo ago
Top contributors
Builders behind this project.
initsecret
2 commits
