Erfasste Open-Source-Repos von HOL-Theorem-Prover, sortiert nach Sternen.
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.
