Johannes Åman Pohjola's repositories
cakeml
CakeML: A Verified Implementation of ML
Language:Standard MLNOASSERTION000
isabelle
git mirror of the Munich isabelle hg repository
Language:IsabelleNOASSERTION000
newpsi
A new semantics for psi-calculi that does not require channels to be symmetric nor transitive.
Language:Isabelle000
nominal-hol
Embedding of HOL Light in Nominal Isabelle