Gedichte
Musik
Bilder
Quellcodebibliothek
Diashow
Normaldarstellung
Quellcodebibliothek
Statistik
Leitseite
products
/
Sources
/
formale Sprachen
/
Roqc
/
tools
/
configure
/ (
Beweissystem des Inria
Version 9.1.0
©
) Datei vom 15.8.2025 mit Größe 149 B
Quelle dune Sprache: unbekannt
(library
(name conf)
(modules :standard \ configure)
(libraries unix str))
(executable
(name configure)
(modules configure)
(libraries conf))
Messung V0.5
C=79
H=98
G=88
[ Dauer der Verarbeitung: 0.17 Sekunden (vorverarbeitet)
]
2026-04-02