- libcoq-stdlib-q7kh1
- libcoq-unicoq-655y6
This plugin for Coq provides the Mtac2
typed tactic language for backward reasoning.
.
Coq is a proof assistant for higher-order logic.
Installed Size: 4.0 MB
Architectures: amd64 arm64