products
/
sources
/
formale Sprachen
/
Coq
/
plugins
/
ssrmatching
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: plugin_base.dune Sprache: Unknown
Spracherkennung für: .dune vermutete Sprache: Python {Python[119] Latech[136] Fortran[197]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
(library
(name ssrmatching_plugin)
(public_name coq.plugins.ssrmatching)
(synopsis
"Coq ssrmatching plugin"
)
(libraries coq.plugins.ltac))
[ Dauer der Verarbeitung: 0.42 Sekunden
]