discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Are there any examples of or sources on "induction on predicates" that can be shared?
https://hal.inria.fr/hal-01094195/document
19 comments
13/10/2018
math