Paket: libcoq-unicoq (1.6-8.17-1 und andere) [debports]

[ Quellcode:  ]

enhanced unification algorithm for Coq

This package provides a new unification algorithm, replacing the existing one through a plugin.

Coq is a proof assistant for higher-order logic.

Andere Pakete mit Bezug zu libcoq-unicoq

• dep: libcoq-stdlib-n0k10

  virtuelles Paket, bereitgestellt durch libcoq-stdlib

libcoq-unicoq herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
ppc64 (inoffizielle Portierung)	1.6-8.17-1+b1	80,6 kB	722,0 kB	[Liste der Dateien]