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
-
Verified iptables Firewall Ruleset Analysis
-
git mirror of the Munich isabelle hg repository
-
Formal models of core Elasticsearch algorithms
-
-
A verified permissioned centralized Blockchain for Isabelle/HOL
-
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
-
Isabelle/HOL proofs about the eChronos RTOS
-
Isabelle formalization of binary consensus
-
ZeroTier binary releases and packages
-
-
A best-first-search theorem prover implemented in Isabelle
-
A formalisation of Sturm's theorem in Isabelle with an executable decision procedure
-
NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
-
Isabelle proof for CapFlow
-
development version of seL4 proofs
-
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
-
A formalisation of NBG set theory in Isabelle/HOL
-
Isabelle Algebra Sandbox
-
-
Fully verified model checker for realtime systems
-
A Lem formalization of EVM and some Isabelle/HOL proofs
-
Kinship Analysis software for field workers in Anthropology and Bible translation
