Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
configure
Find file
Blame
History
Permalink
make Coq *much* faster by introducing names for some instances
· 3ecc3dc6
Ralf Jung
authored
Jan 31, 2015
3ecc3dc6