Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
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
[ Dauer der Verarbeitung: 0.27 Sekunden
]
