Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/misc/coqdoc-options/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 123 B image not shown  

Quelle  _CoqProject   Sprache: unbekannt

 
-R theories Coqdoc

COQDOCFLAGS = "--index indexpage -g -coqlib_url http://rocq-prover.org/stdlib --utf8"

theories/test.v

Messung V0.5
C=25 H=100 G=72

[ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet)  ]