package coq-ppsimpl
Ppsimpl is a reflexive tactic for canonising (arithmetic) goals
Install
Dune Dependency
Authors
Maintainers
Sources
ppsimpl-17-10-2019.tar.gz
md5=db2cc823e6d4cd53e9429cef7af34d10
Description
Tags
keyword:integers keyword:arithmetic keyword:automation category:Miscellaneous/Coq Extensions logpath:PPPublished: 18 Oct 2019
Dependencies (3)
-
coq-bignums
>= "8.10" & < "8.11~" -
coq
>= "8.10" & < "8.11~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page