Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
lean-machine
Playing around with a simple state machine in Lean
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
5mo ago
Recent commits
Latest commits.
Remove mathlib
47ea0a7
Sid Raval
5mo ago
Make it compile
e4146a8
Sid Raval
5mo ago
Cleanup
facf44d
Sid Raval
5mo ago
Update README
dfd9b6e
Sid Raval
5mo ago
Cleanup
30ed23e
Sid Raval
5mo ago
Parameterized by VSMT instead of SMT
9be16c5
Sid Raval
5mo ago
Annotate
4120914
Sid Raval
5mo ago
Begin annotating
662b767
Sid Raval
6mo ago
Top contributors
Builders behind this project.
sidraval
20 commits
