略过导航栏
Packages
This package provides tactics and tacticals to work with hypotheses during a Coq proof.
Coq is a proof assistant for higher-order logic.