Skip to content
GitLab
Explore
Sign in
Hugo Herbelin
iris-coq
Repository
iris-coq
theories
proofmode
tactics_mtac.v
Find file
Blame
History
Permalink
Prepare code for change to dep. goal type.
· eda63869
Janno
authored
Oct 26, 2018
eda63869