rocq-prover/rocq
@rocq-proverDer Rocq Prover ist ein interaktiver Theorembeweiser bzw. Beweisassistent. Er bietet eine formale Sprache zum Schreiben mathematischer Definitionen, ausführbarer Algorithmen und Theoreme sowie eine Umgebung für die semi-interaktive Entwicklung maschinell überprüfter Beweise.
Sterne
5.562
Forks
756
Sprache
OCaml
Lizenz
LGPL-2.1
Letzter Push
vor 6 Tagen
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.