Popular repositories Loading

1. cakeml cakeml Public

   Forked from CakeML/cakeml

   CakeML: A Verified Implementation of ML

   Standard ML 1

2. nominal-hol nominal-hol Public

   Embedding of HOL Light in Nominal Isabelle

   Isabelle

3. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

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

   Standard ML

4. isabelle isabelle Public

   Forked from seL4/isabelle

   git mirror of the Munich isabelle hg repository

   Isabelle

5. bakery bakery Public

   Forked from agomezl/bakery

   Standard ML

6. newpsi newpsi Public

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

   Isabelle