Skip to content
Snippets Groups Projects
Iris

Iris

Project ID: 3075
Forked from Iris / Iris
Source project has a limited visibility.
Ralf Jung's avatar
Ralf Jung authored
drop support for Coq 8.16, 8.17

See merge request iris/iris!1029
9cb4b4a5
History
Name Last commit Last update