Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
theories
proofmode
ltac_tactics.v
Find file
Blame
History
Permalink
Up to 12 binders for `iRevert`, `iRevertIntros`, `iInduction` and `iLöb`.
· d5c0458f
Robbert Krebbers
authored
Jun 27, 2019
Created this commit with pain in my heart!
d5c0458f