Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
iris-tutorial-lean
Iris tutorial in Lean
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
4d ago
Recent commits
Latest commits.
Fix CI
c028bac
Zongyuan Liu
5d ago
Init
3532e69
Zongyuan Liu
5d ago
Initial commit from verso-templates/textbook
9b734bd
Zongyuan Liu
9d ago
Top contributors
Builders behind this project.
lzy0505
3 commits
