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.
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
tds_fdw
A PostgreSQL foreign data wrapper to connect to TDS databases (Sybase and Microsoft SQL Server)
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.