Paket: libssreflect-ocaml (1.6.1-3 und andere) [debports]

Links für libssreflect-ocaml

Debian-Ressourcen:

Fehlerberichte

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

Externe Ressourcen:

Homepage [math-comp.github.io]

small scale reflection extension for Coq (plugin)

This package is part of Ssreflect, the small scale reflection extension for Coq. It provides a new tactic language, which promotes more structured, concise and robust proof scripts, and is in fact independent from the "reflection" proof style. It is implemented as a linkable extension to the Coq system.

Andere Pakete mit Bezug zu libssreflect-ocaml

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libcoq-ocaml-eqz92 [nicht hppa]

Paket nicht verfügbar
dep: libcoq-ocaml-uqoh2 [hppa]

Paket nicht verfügbar
dep: ocaml-base-nox-4.02.3 [hppa]

Paket nicht verfügbar
dep: ocaml-base-nox-4.05.0 [nicht hppa]

Paket nicht verfügbar

enh: coq

Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)

libssreflect-ocaml herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	1.6.1-3	92,5 kB	534,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	1.6.1-2+b1	92,0 kB	533,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	1.6.1-3	92,6 kB	534,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	1.6.1-3	92,5 kB	534,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	1.6.1-3	92,5 kB	534,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	1.6.1-3	92,5 kB	534,0 kB	[Liste der Dateien]