Skip to content
GitLab
Explore
Sign in
Iris
string-ident
Issues
#3
Have a single version that works across Coq 8.11 and 8.12
The title says it all. Jason Gross has
some suggestions for how to do that
.