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