Eric-C-Hall

Pinned Repositories

HOLTheorems
Language:Standard ML10
CompleteSubgoalGraph
Language:C++00
HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Language:Standard ML00
HOL-Probability
Language:Standard ML00
HolAbbreviations
Language:Emacs Lisp00
PloverDictionary
00
Silo
Language:C++00
ZerGreenAI
Language:C++00
miktex
the MiKTeX source code
Language:C82295
HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Language:Standard ML638144

Eric-C-Hall's Repositories

Eric-C-Hall/HOLTheorems
Language:Standard ML1
Eric-C-Hall/PloverDictionary
Eric-C-Hall/HolAbbreviations
Language:Emacs Lisp
Eric-C-Hall/HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Language:Standard ML
Eric-C-Hall/HOL-Probability
Eric-C-Hall/Silo
Language:C++
Eric-C-Hall/ZerGreenAI
Language:C++
Eric-C-Hall/CompleteSubgoalGraph
Language:C++