Trending
See what the GitHub community is most excited about today.
-
seL4 specification and proofs
-
A Lem formalization of EVM and some Isabelle/HOL proofs
-
Proof-Code Cogeneration
-
Proving leftpad correct in a dozen different ways
-
Verified iptables Firewall Ruleset Analysis
-
git mirror of the Munich isabelle hg repository
-
Formal models of core Elasticsearch algorithms
-
-
A Lem formalization of EVM and some Isabelle/HOL proofs
-
A verified permissioned centralized Blockchain for Isabelle/HOL
-
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
-
Theory Exploration for Isabelle using HipSpec
-
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
-
A best-first-search theorem prover implemented in Isabelle
-
ZeroTier binary releases and packages
-
Isabelle formalization of binary consensus
-
Isabelle/HOL proofs about the eChronos RTOS
-
NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
-
Git mirror of https://isabelle.in.tum.de/repos/isabelle
-
-
Fully verified model checker for realtime systems
-
A formalisation of Sturm's theorem in Isabelle with an executable decision procedure
-
A formalisation of NBG set theory in Isabelle/HOL
-
-
development version of seL4 proofs
