Alle Optionen
bookworm  ] [  sid  ]
[ Quellcode: coq-gappa  ]

Paket: libcoq-gappa (1.5.2-5)

Links für libcoq-gappa

Screenshot

Debian-Ressourcen:

Quellcode-Paket coq-gappa herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

Coq tactic to use Gappa for floating-point goals

This package provides a Coq tactic to discharge goals about floating-point arithmetic and round-off errors to Gappa.

Gappa is a prover for numerical properties.

Coq is a proof assistant for higher-order logic.

Andere Pakete mit Bezug zu libcoq-gappa

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libcoq-gappa herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 503,1 kB2.116,0 kB [Liste der Dateien]
arm64 506,0 kB2.156,0 kB [Liste der Dateien]
armhf 501,7 kB2.070,0 kB [Liste der Dateien]
i386 500,3 kB2.094,0 kB [Liste der Dateien]
ppc64el 502,8 kB2.156,0 kB [Liste der Dateien]
s390x 504,1 kB2.124,0 kB [Liste der Dateien]