Skip to content
GitLab

Document `iInduction ... using` tactic.

Merged Robbert Krebbers requested to merge robbert/iInduction_using into master

This was missing, as pointed out by @jtassaro and @jihgfee.

Merge request reports