Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/coq-makefile/native4/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 179 B image not shown  

Quelle  _CoqProject   Sprache: unbekannt

 
src/META.coq-test-suite
-R src test
-R theories test
-I src
-native-compiler no

src/test_plugin.mlpack
src/test.mlg
src/test.mli
src/test_aux.ml
src/test_aux.mli
theories/test.v

[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]