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

Quelle  _CoqProject   Sprache: unbekannt

 
src/META.rocq-plugin-tutorial
-R theories Tuto3
-I src

theories/Data.v
theories/Loader.v

src/tuto_tactic.ml
src/tuto_tactic.mli
src/construction_game.ml
src/construction_game.mli
src/g_tuto3.mlg
src/tuto3_plugin.mlpack

96%


[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]