Alle Optionen
stretch  ] [  buster  ] [  sid  ]
[ Quellcode: why3  ]

Paket: why3-coq (1.2.0-1)

Links für why3-coq

Screenshot

Debian-Ressourcen:

Quellcode-Paket why3 herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

Coq support for the why3 verification platform

This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform.

Andere Pakete mit Bezug zu why3-coq

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

why3-coq herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
mips 581,5 kB2.709,0 kB [Liste der Dateien]