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

 
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.3 Sekunden  (vorverarbeitet)  ]