🏠
Working from home
- Canberra, ACT
Highlights
- Pro
Popular repositories Loading
-
proofTheoryHOL
proofTheoryHOL PublicEquivalence of natural deduction and sequent calculus in HOL4
Standard ML 1
-
HOL
HOL PublicForked from HOL-Theorem-Prover/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Standard ML
-
-
TCSReadingGroup
TCSReadingGroup PublicForked from JamesShaker/TCSReadingGroup
Running efforts of a HOL reading group mechanising Michael Sipser's Introduction to the Theory of Computation.
Standard ML
-
gdu
gdu PublicForked from dundee/gdu
Fast disk usage analyzer with console interface written in Go
Go
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.