Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
iris
theories
proofmode
monpred.v
Find file
Blame
History
Permalink
have two instances for ElimInv and MakeEmbed, instead of one horrible one
· b71c6f44
Ralf Jung
authored
Apr 27, 2018
b71c6f44