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