Spracherkennung für: .disabled vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
(coq.theory
(name Ltac2)
(package rocq-core)
(synopsis "Ltac2 tactic language")
(flags -w -deprecated-native-compiler-option)
(stdlib no)
(theories Corelib)
(plugins
rocq-runtime.plugins.ltac2_ltac1
rocq-runtime.plugins.ltac2))
[Dauer der Verarbeitung: 0.18 Sekunden, vorverarbeitet 2026-06-10]
