Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
proofmode
tactics.v
Find file
Blame
History
Permalink
Clarify use of Require
· dbe9e6ea
Paolo G. Giarrusso
authored
Feb 01, 2020
and
Ralf Jung
committed
Feb 01, 2020
dbe9e6ea