package coq-ltac2
A tactic language for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
0.3.tar.gz
sha256=e759198cd7bf1145f822bc7dfad7f47a4c682b28bdd67376026276ae88d55feb
On This Page