Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 139 B image not shown  

Quelle  install-scripts   Sprache: unbekannt

 
rsync pvs-patches/proveit.in ../proveit
rsync pvs-patches/provethem.in ../provethem
rsync pvs-patches/pvsio.in ../pvsio
cd ..;bin/relocate

[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-04-26]