A novice-friendly induction tactic for lean

Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs ◽

10.1145/3437992.3439928 ◽

2021 ◽

Author(s):

Jannis Limperg

Download Full-text