Johannes Åman Pohjola (IlmariReissumies)

IlmariReissumies

Geek Repo

Location:Sydney

Github PK Tool:Github PK Tool


Organizations
CakeML
seL4

Johannes Åman Pohjola's repositories

Language:Standard MLStargazers:0Issues:1Issues:0

cakeml

CakeML: A Verified Implementation of ML

Language:Standard MLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

HOL

Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

Language:Standard MLLicense:NOASSERTIONStargazers:0Issues:1Issues:0

isabelle

git mirror of the Munich isabelle hg repository

Language:IsabelleLicense:NOASSERTIONStargazers:0Issues:0Issues:0

newpsi

A new semantics for psi-calculi that does not require channels to be symmetric nor transitive.

Language:IsabelleStargazers:0Issues:0Issues:0

nominal-hol

Embedding of HOL Light in Nominal Isabelle

Language:IsabelleStargazers:0Issues:1Issues:0