myreen

Pinned Repositories

cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML926 46 45981
pure
A verified compiler for a lazy functional language
Language:Standard ML19 26 493
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 ML607 49 635132
cade26
Language:HTML0 5 00
export-hol
Language:Standard ML0 1 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 ML0 0 00
hol-light
The HOL Light theorem prover
Language:OCaml0 0 00
imp_bootstrap
Verified bootstrapping of an imperative compiler
Language:Standard ML00
tda283_website
Chalmers Compiler Construction Website
Language:Haskell0 1 00
veripb
Pseudo-Boolean proof logging
Language:Standard ML0 2 00

myreen's Repositories

myreen/cade26
Language:HTML0 5 00
myreen/export-hol
Language:Standard ML0 1 00
myreen/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 ML0 0 00
myreen/hol-light
The HOL Light theorem prover
Language:OCaml0 0 00
myreen/imp_bootstrap
Verified bootstrapping of an imperative compiler
Language:Standard ML00
myreen/tda283_website
Chalmers Compiler Construction Website
Language:Haskell0 1 00
myreen/veripb
Pseudo-Boolean proof logging
Language:Standard ML0 2 00