Pinned Repositories
cakeml
CakeML: A Verified Implementation of ML
pure
A verified compiler for a lazy functional language
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.
bakery
cakeml
CakeML: A Verified Implementation of ML
dict-mode
Simple emacs mode for practicing anagrams
HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
isabelle
git mirror of the Munich isabelle hg repository
newpsi
A new semantics for psi-calculi that does not require channels to be symmetric nor transitive.
nominal-hol
Embedding of HOL Light in Nominal Isabelle
IlmariReissumies's Repositories
IlmariReissumies/cakeml
CakeML: A Verified Implementation of ML
IlmariReissumies/bakery
IlmariReissumies/dict-mode
Simple emacs mode for practicing anagrams
IlmariReissumies/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
IlmariReissumies/isabelle
git mirror of the Munich isabelle hg repository
IlmariReissumies/newpsi
A new semantics for psi-calculi that does not require channels to be symmetric nor transitive.
IlmariReissumies/nominal-hol
Embedding of HOL Light in Nominal Isabelle