products/sources/formale sprachen/Coq/plugins/syntax/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: mailbox.ML   Sprache: Unknown

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))

[ Verzeichnis aufwärts0.48unsichere Verbindung  ]