Quelle dune Sprache: Python

(library
(name coqargs)
(public_name rocq-runtime.coqargs)
(synopsis "Rocq command line argument parsing")
(modules coqargs)
(wrapped false)
; don't depend on rocq-runtime.lib -> impossible to imperatively set random flags
(libraries rocq-runtime.config rocq-runtime.boot rocq-runtime.clib))

(deprecated_library_name
(old_public_name coq-core.coqargs)
(new_public_name rocq-runtime.coqargs))

(library
(name sysinit)
(public_name rocq-runtime.sysinit)
(synopsis "Rocq's initialization")
(wrapped false)
(modules :standard \ coqargs)
(libraries rocq-runtime.boot rocq-runtime.vernac coqargs findlib))

(deprecated_library_name
(old_public_name coq-core.sysinit)
(new_public_name rocq-runtime.sysinit))

¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.