Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
seL4 / l4v
seL4 specification and proofs
-
diekmann / Iptables_Semantics
Verified iptables Firewall Ruleset Analysis
-
seL4 / isabelle
git mirror of the Munich isabelle hg repository
-
meiersi / scyther-proof
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
-
3of8 / sturm
A formalisation of Sturm's theorem in Isabelle with an executable decision procedure
-
prathamesh-t / Tangle-Isabelle
-
javra / isabelle_algebra
Isabelle Algebra Sandbox
-
ramanala / StorageStackSemantics
-
davidlazar / halicore
Translator from GHC Core to Isabelle/HOLCF
-
NICTA / l4v
development version of seL4 proofs
-
tarc / concrete-semantics-book
Self study log of the book
-
Alasdair / Thesis
My Thesis
-
samth / samth.github.com
Web page
-
jamiepg1 / thesis-2
Master's thesis
-
jianqili / isabelle
git mirror of the Munich isabelle hg repository
-
ehah / SCIS2014
SCIS2014 Paper Files
-
larsrh / hol-optics
Formalized optics in HOL
-
larsrh / sorted
Sorting algorithms in Isabelle/HOL
-
isabelle-utp / utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
-
01mf02 / thesis
Master's thesis
-
tjark / ML-for-NTS
Modal Logics for Nominal Transition Systems
-
Alasdair / FM2014
-
diekmann / topoS
-
MerelyAPseudonym / isabelle
Tracks http://isabelle.in.tum.de/repos/isabelle/ with git-hg
-
jamiepg1 / isabelle
working directory for Isabelle proof scripts