Login / Signup

A novice-friendly induction tactic for lean.

Jannis Limperg
Published in: CPP (2021)
Keyphrases