logsem / iris-tutorialLinks
☆56Updated 3 weeks ago
Alternatives and similar repositories for iris-tutorial
Users that are interested in iris-tutorial are comparing it to the libraries listed below
Sorting:
- ☆27Updated last year
- Communication between Coq and SAT/SMT solvers☆160Updated this week
- PL conference deadline countdowns☆62Updated last month
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆123Updated this week
- Ltac2 tutorial