Skip to content

GitLab

Explore

Sign in
Register

C

coq-iris

Project information

high-order concurrent separation logic framework for Coq

31 Commits
3 Branches
16 Tags

README
BSD 3-Clause "New" or "Revised" License
CHANGELOG
CONTRIBUTING

Created on

July 14, 2022

Copy SSH clone URLgit@salsa.debian.org:ocaml-team/coq-iris.git
Copy HTTPS clone URLhttps://salsa.debian.org/ocaml-team/coq-iris.git

Loading