Eigentümer · jrh13

jrh13

Erfasste Open-Source-Repos von jrh13, sortiert nach Sternen.

1 Repo

#1
hol-light ↗@jrh13OCaml
Der HOL Light Theorem-Beweiser
★ 550+0Sterne-Änderung der letzten 7 Tage