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

Paket: why3-doc-pdf (1.3.1-2)

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.031,2 kB1.096,0 kB [Liste der Dateien]