Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
tests
ipm_paper.ref
Find file
Blame
History
Permalink
normalize 'subgoal' to 'goal' to account for Coq output change
· 40ab3fea
Ralf Jung
authored
Jan 13, 2021
40ab3fea