Skip to content

Document `iInduction ... using` tactic.

Robbert Krebbers requested to merge robbert/iInduction_using into master

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

Merge request reports