Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
src/META.rocq-plugin-tutorial
-R theories Tuto4
-I src
theories/Loader.v
theories/Demo.v
src/myexternals.ml
src/myexternals.mli
src/tuto4_plugin.mlpack
[ Dauer der Verarbeitung: 0.24 Sekunden
]
