Login
From:
softwarefoundations.cis.upenn.edu
(Uncensored)
subscribe
Induction: Proof by Induction
https://softwarefoundations.cis.upenn.edu/lf-current/Induction.html
links
backlinks
Roast topics
Find topics
Find it!
For this Require command to work, Coq needs to be able to
