strong-induction reviews and mentions
Posts with mentions or reviews of strong-induction.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Hey, at risk of making a tired question, I could use a little help with something that I'm finding myself stuck on as an of-two-days proof assistant and Coq user. ∀x : ℕ, 3 | (x + 5x). Specifically, what's got me is showing that ∀x y z : ℕ, (z|x and z|y) -> z|(x + y). Attempt in post body.
Also, if you want to reach for strong induction in the future, it's not too difficult to prove that the principle is valid and then use it with the induction tactic (e.g. https://github.com/tchajed/strong-induction).
Stats
Basic strong-induction repo stats
1
2
10.0
over 7 years ago
The primary programming language of strong-induction is Coq.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com