Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 200 B image not shown  

Quelle  rocq-test-suite.opam.template   Sprache: unbekannt

 
Spracherkennung für: .template vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

build: [
  [ "dune" "exec" "-p" name "-j" jobs "test-suite/tools/coq_config_to_make.exe" "rocq" "test-suite/test_suite_config.inc" ]
  [ make "-C" "test-suite" "-j" jobs "TIMED=1" "ROCQ_EXE=rocq" ]
]

[Dauer der Verarbeitung: 0.15 Sekunden, vorverarbeitet 2026-04-29]