Thema · higher-order-logic

higher-order-logic

Erfasste Open-Source-Repos mit dem Tag higher-order-logic, sortiert nach Sternen.

Repos

1

Sterne gesamt

756

Sterne im Schnitt

756

Anteil

0,00%

Themen, die häufig gemeinsam mit higher-order-logic am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit higher-order-logic getaggt wurden.

In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.

#1
HOL ↗@HOL-Theorem-ProverStandard ML
Kasernenquellen für das HOL4-Theorembeweissystem. Der Branch develop ist der Ort für die Hauptlinienentwicklung; sobald develop unsere Regressionstests besteht, wird master vorwärtsgemergt.
★ 757+3Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen