Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
proofmode
base.v
Find file
Blame
History
Permalink
Export Ascii for compat with new Coq
· 141fb84f
Ralf Jung
authored
Aug 24, 2018
141fb84f