Loading Induction toolbox: Generalized m-induction
Beta
Loading Induction toolbox: Generalized m-induction
Beta
Induction toolbox: Generalized m-induction
-
Language
- Coq
-
Language Version
Loading description...
Theorem Proving
Logic
Mathematics
Discrete Mathematics