Skip to content
GitLab
Explore
Sign in
Adam
Iris
Repository
iris
iris
proofmode
ltac_tactics.v
Find file
Blame
History
Permalink
Merge branch 'optimize_iIntoEmpValid' into 'master'
· 95df9887
Ralf Jung
authored
Sep 06, 2021
Optimize iIntoEmpValid See merge request
iris/iris!729
95df9887