[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Source: coq-hierarchy-builder ]

Paketti: libcoq-hierarchy-builder (1.8.1-1 ja muut)

Links for libcoq-hierarchy-builder

Debian-palvelut:

Imuroi lähdekoodipaketti coq-hierarchy-builder:

Ylläpitäjät:

External Resources:

Kotisivu [github.com]

Samankaltaisia paketteja:

build hierarchies of algebraic structures in Coq

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.

Muut pakettiin libcoq-hierarchy-builder liittyvät paketit

depends

recommends

suggests

enhances

dep: libcoq-elpi-w5ju1

näennäispaketti, jonka toteuttaa libcoq-elpi

rec: ocaml-findlib

management tool for OCaml libraries

Imuroi libcoq-hierarchy-builder

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	1.8.1-1+b4	537.9 kt	1,667.0 kt	[tiedostoluettelo]