Name		Name	Last commit message	Last commit date
Latest commit History 33 Commits
theories		theories
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
_CoqProject		_CoqProject

Repository files navigation

Dependencies

Has been installed with

opam: 2.5.1
OCaml: 5.4.1
Rocq: 9.2.0
Iris: 8e5e08bca (branch)

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

Contributors

Languages