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

Paket: why3-doc-pdf (1.2.0-1)

Links für why3-doc-pdf

Screenshot

Debian-Ressourcen:

Quellcode-Paket why3 herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

PDF Documentation of the why3 verification platform

This package contains the tutorial and reference manual of the why3 verification platform in PDF format.

Andere Pakete mit Bezug zu why3-doc-pdf

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

why3-doc-pdf herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 1.244,1 kB1.307,0 kB [Liste der Dateien]