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

[ Pakiet źródłowy: coq-hierarchy-builder ]

Pakiet: libcoq-hierarchy-builder (1.8.1-1 i inne)

Odnośniki dla libcoq-hierarchy-builder

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq-hierarchy-builder:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

build hierarchies of algebraic structures in Coq

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

Inne pakiety związane z libcoq-hierarchy-builder

wymaga

poleca

sugeruje

enhances

dep: libcoq-elpi-w5ju1

pakiet wirtualny udostępniany przez libcoq-elpi

rec: ocaml-findlib

Narzędzie zarządzające bibliotekami OCaml

Pobieranie libcoq-hierarchy-builder

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1.8.1-1+b4	537,9 KiB	1 667,0 KiB	[lista plików]