[ bookworm ] [ trixie ] [ sid ]

[ Source: ]

Package: libcoq-mtac2 (1.4+8.19-2) [debports]

Links for libcoq-mtac2

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

Mtac2 tactic language for Coq

This plugin for Coq provides the Mtac2 typed tactic language for backward reasoning.

Coq is a proof assistant for higher-order logic.

Other Packages Related to libcoq-mtac2

depends

recommends

suggests

enhances

dep: libcoq-stdlib-twvz5

virtual package provided by libcoq-stdlib
dep: libcoq-unicoq-7sii2

virtual package provided by libcoq-unicoq

Download libcoq-mtac2

Download for all available architectures
Architecture	Package Size	Installed Size	Files
ppc64 (unofficial port)	788.2 kB	5,180.0 kB	[list of files]