Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
docs
proof_mode.md
Find file
Blame
History
Permalink
Document `iInduction ... using` tactic.
· 20145c5f
Robbert Krebbers
authored
May 25, 2021
and
Ralf Jung
committed
May 25, 2021
20145c5f