package rocq-induction
A better induction tactic for Rocq
Install
Dune Dependency
Authors
Maintainers
Sources
0.1.0.tar.gz
md5=26c8398a2b25097df306a34894750eb4
sha512=9945234660269894ef52b41c0f6d8ad7c45141c5001e55c00a5048adbb7c7f1a6c21504a64ff66b3563ca012e76f1729546261f372633865569838cbaf24fd33
Description
A better induction tactic for Rocq.
Published: 23 Oct 2026
Dependencies (3)
- rocq-core
-
rocq-runtime
>= "9.3.0" -
dune
>= "3.21"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page