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
| Messung V0.5 in Prozent |
|---|
| | | |
[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-06-17]
