Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
iris-tutorial
A port of logsem/iris-tutorial to Lean
Lean
Emerging
GitHub
Stars
2
Forks
—
Contributors
1
Last push
5d ago
Recent commits
Latest commits.
Add `Lang` to `IrisTutorial.lean`
36011b8
Сухарик
5d ago
Port lang.v
aabb717
Сухарик
2mo ago
Update Iris-Lean
122f499
Сухарик
2mo ago
Merge pull request #1 from suhr/update
ad69ccf
Сухарик
2mo ago
Update Iris
1d2a624
Сухарик
2mo ago
Complete porting pure.v
beba37f
Сухарик
8mo ago
Start porting pure.v
f0316ac
Сухарик
8mo ago
Complete Basics.lean
527a02f
Сухарик
8mo ago
Top contributors
Builders behind this project.
suhr
14 commits
