Spracherkennung für: .dune vermutete Sprache: Latech {Latech[88] Fortran[215] Delphi[254]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
(library
(name ssreflect_plugin)
(public_name coq.plugins.ssreflect)
(synopsis "Coq's ssreflect plugin")
(modules_without_implementation ssrast)
(flags :standard -open Gramlib)
(libraries coq.plugins.ssrmatching))
[ Dauer der Verarbeitung: 0.31 Sekunden
]
