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