Skip to content
Snippets Groups Projects
Normal view Permalink
descr 49 B
Newer Older
Ralf Jung's avatar
CI: depend on std++ via opam; prepare for automatic opam releases
Ralf Jung committed
1 
This is the Coq development of the Iris Project.