HOL-Theorem-Prover/HOL
@HOL-Theorem-ProverKasernenquellen für das HOL4-Theorembeweissystem. Der Branch develop ist der Ort für die Hauptlinienentwicklung; sobald develop unsere Regressionstests besteht, wird master vorwärtsgemergt.
Sterne
757
Forks
173
Sprache
Standard ML
Lizenz
NOASSERTION
Letzter Push
vor 21 Stunden
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.