Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
dune
Sprache: Unknown
|
(library
(name proofs)
(synopsis "Coq's Higher-level Refinement Proof Engine and Top-level Proof Structure")
(public_name coq.proofs)
(wrapped false)
(libraries interp))
[ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
]
|
