Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: run.sh Sprache: Shell

Untersuchung Coq^©

#!/usr/bin/env bash

set -e

. ../template/init.sh

mv theories/sub theories2

coq_makefile -f _CoqProject -o Makefile
cat Makefile.conf
make

cp ../_CoqProject.sub theories2/_CoqProject
cd theories2
coq_makefile -f _CoqProject -o Makefile
cat Makefile.conf
make

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.1Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤

Kontakt Drucken
Kontakt Hier finden Sie eine Liste der Produkte des Unternehmens
Mittel

schauen Sie vor die Tür

Fenster

Die Firma ist wie angegeben erreichbar.

Entwicklung einer Software für die statische Quellcodeanalyse