Pinned Repositories
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.
TCSReadingGroup
Running efforts of a HOL reading group mechanising M̶i̶c̶h̶a̶e̶l̶ ̶S̶i̶p̶s̶e̶r̶'̶s̶ ̶I̶n̶t̶r̶o̶d̶u̶c̶t̶i̶o̶n̶ ̶t̶o̶ ̶t̶h̶e̶ ̶T̶h̶e̶o̶r̶y̶ ̶o̶f̶ ̶C̶o̶m̶p̶u̶t̶a̶t̶i̶o̶n̶ Sidney Morris's Topology Without Tears.
gdu
Fast disk usage analyzer with console interface written in Go
HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
proofTheoryHOL
Equivalence of natural deduction and sequent calculus in HOL4
sendthing
Open Source File Transfers
settlr-report
TCSReadingGroup
Running efforts of a HOL reading group mechanising Michael Sipser's Introduction to the Theory of Computation.
syncthing
Open Source Continuous File Synchronization
lxndrcx's Repositories
lxndrcx/proofTheoryHOL
Equivalence of natural deduction and sequent calculus in HOL4
lxndrcx/gdu
Fast disk usage analyzer with console interface written in Go
lxndrcx/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
lxndrcx/sendthing
Open Source File Transfers
lxndrcx/settlr-report
lxndrcx/TCSReadingGroup
Running efforts of a HOL reading group mechanising Michael Sipser's Introduction to the Theory of Computation.