[ 源代码: coq-libhyps ]
软件包:libcoq-libhyps(2.0.8-1)
Tactics on hypotheses in Coq
This package provides tactics and tacticals to work with hypotheses during a Coq proof.
Coq is a proof assistant for higher-order logic.
This package provides tactics and tacticals to work with hypotheses during a Coq proof.
Coq is a proof assistant for higher-order logic.