Quelle  dune   Sprache: unbekannt

(library
 (name tuto4_plugin)
 (public_name rocq-runtime.plugins.tutorial.p4)
 (libraries rocq-runtime.plugins.ltac2))

[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]