Spracherkennung für: .dune vermutete Sprache: Scala {Scala[52] Pl1[135] Latech[138]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
(library
(name numeral_notation_plugin)
(public_name coq.plugins.numeral_notation)
(synopsis "Coq numeral notation plugin")
(modules g_numeral numeral)
(libraries coq.vernac))
(library
(name string_notation_plugin)
(public_name coq.plugins.string_notation)
(synopsis "Coq string notation plugin")
(modules g_string string_notation)
(libraries coq.vernac))
(library
(name r_syntax_plugin)
(public_name coq.plugins.r_syntax)
(synopsis "Coq syntax plugin: reals")
(modules r_syntax)
(libraries coq.vernac))
(library
(name int63_syntax_plugin)
(public_name coq.plugins.int63_syntax)
(synopsis "Coq syntax plugin: int63")
(modules int63_syntax)
(libraries coq.vernac))
[ Dauer der Verarbeitung: 0.91 Sekunden
]
