Iris-jh

Iris-jh

Project information

The Coq development for Iris. project website(https://iris-project.org/) coqdoc(https://plv.mpi-sws.org/coqdoc/iris/)

  • 7,988 Commits
  • 79 Branches
  • 15 Tags
  • README
  • BSD 3-Clause "New" or "Revised" License
  • CHANGELOG
  • CONTRIBUTING

Created on

February 05, 2026
Loading