Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
iris
proofmode
coq_tactics.v
Find file
Blame
History
Permalink
Support nested induction with `Forall` and `Forall2` in `iInduction`.
· 6736ea06
Robbert Krebbers
authored
Feb 02, 2022
6736ea06