[ Källkod: coq-extructures ]
Paket: libcoq-extructures (0.4.0-3)
Länkar för libcoq-extructures
Debianresurser:
Hämta källkodspaketet coq-extructures:
- [coq-extructures_0.4.0-3.dsc]
- [coq-extructures_0.4.0.orig.tar.gz]
- [coq-extructures_0.4.0-3.debian.tar.xz]
Ansvariga:
Externa resurser:
- Hemsida [github.com]
Liknande paket:
data structures with extensional reasoning for Coq
This Coq plugin provides finite sets, maps and other data structures with extensional reasoning.
Coq is a proof assistant for higher-order logic.
Andra paket besläktade med libcoq-extructures
|
|
|
|
-
- dep: libcoq-deriving-ddgn6
- virtuellt paket som tillhandahålls av libcoq-deriving
-
- dep: libcoq-mathcomp-ssreflect-rr6p1
- virtuellt paket som tillhandahålls av libcoq-mathcomp-ssreflect
-
- dep: libcoq-stdlib-8u5j8
- Paketet inte tillgängligt
Hämta libcoq-extructures
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
armhf | 630,2 kbyte | 2.689,0 kbyte | [filförteckning] |