[ bookworm ] [ trixie ] [ sid ]

[ Källkod: ]

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

Länkar för libcoq-mtac2

Debianresurser:

Felrapporter

Hämta källkodspaketet :

Hittades ej

Ansvariga:

Externa resurser:

Hemsida [github.com]

Liknande paket:

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.

Andra paket besläktade med libcoq-mtac2

beror

rekommenderar

föreslår

enhances

dep: libcoq-stdlib-twvz5

virtuellt paket som tillhandahålls av libcoq-stdlib
dep: libcoq-unicoq-7sii2

virtuellt paket som tillhandahålls av libcoq-unicoq

Hämta libcoq-mtac2

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
ppc64 (inofficiell anpassning)	788,2 kbyte	5.180,0 kbyte	[filförteckning]