tanyongkiam

Pinned Repositories

cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML979 44 50186
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 ML636 49 662143
cryptominisat
An advanced SAT solver
Language:C++828 28 620185
15816
Language:Standard ML0 2 00
approxmc
Approximate Model Counter
Language:C++0 0 00
cake_lpr
LPR proof checking with CakeML
Language:Assembly5 3 00
cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML0 3 00
HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Language:Standard ML0 2 00
real_analysis
Formalizing some basic real analysis in HOL4
Language:Standard ML0 2 00
tanyongkiam.github.io
Language:HTML0 2 00

tanyongkiam's Repositories

tanyongkiam/cake_lpr
LPR proof checking with CakeML
Language:Assembly5 3 00
tanyongkiam/15816
Language:Standard ML0 2 00
tanyongkiam/approxmc
Approximate Model Counter
Language:C++0 0 00
tanyongkiam/cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML0 3 00
tanyongkiam/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Language:Standard ML0 2 00
tanyongkiam/real_analysis
Formalizing some basic real analysis in HOL4
Language:Standard ML0 2 00
tanyongkiam/tanyongkiam.github.io
Language:HTML0 2 00