package rocq-induction
A better induction tactic for Rocq
Install
Dune Dependency
Authors
Maintainers
Sources
0.1.0+9.2.tar.gz
md5=b3e86ba702500fed69f08ac1c29dcd9a
sha512=0c62ab25fc1bb6d1cd68503cff471eda7577faae29ecc07a1d1cce9d7d0a14f24c498b8ed51b2388b9cf70bf0eed19659009e4eb3b793a287953f37d52b21c41
Description
A better induction tactic for Rocq.
Published: 09 Jul 2026
Dependencies (3)
- rocq-core
-
rocq-runtime
>= "9.2.0" & < "9.3.0" -
dune
>= "3.21"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page