seL4 specification and proofs
-
Updated
Jul 15, 2020 - Isabelle
#
isabelle
Here are 42 public repositories matching this topic...
A curated set of links to formal methods involving provable code.
-
Updated
Jul 23, 2019
Model finder for higher-order logic
-
Updated
Jan 13, 2020 - OCaml
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
-
Updated
Jul 17, 2020 - Isabelle
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
-
Updated
Jul 14, 2020 - Isabelle
Fully verified model checker for realtime systems
-
Updated
Jul 15, 2020 - Isabelle
A dependent type theory logic for Isabelle
dependent-types
proof-assistant
type-theory
isabelle
interactive-theorem-proving
logical-framework
dependent-type-theory
-
Updated
Apr 2, 2020 - Standard ML
Experiments in Isabelle/Pure (and a bit of HOL) (ARCHIVED)
-
Updated
Aug 10, 2018 - Standard ML
Alternative EVM smart contract language
-
Updated
May 18, 2018 - Isabelle
Semánticas de lenguajes de programación formalizadas en Isabelle/HOL
-
Updated
Jul 26, 2017 - Isabelle
Propositional logic and FOL proofs (froward style)
-
Updated
Dec 2, 2017 - Isabelle
ATMEGA32U4 code for the physical Sledgehammer device developed at TUM
-
Updated
Mar 8, 2018 - C++
Exercises in the famous theorem prover
-
Updated
Jul 16, 2020 - Isabelle
A Collection of Isabelle Programming Hacks
-
Updated
Apr 9, 2020 - Isabelle
A small introduction to Isabelle/HOL
-
Updated
Oct 6, 2018 - Isabelle
field extensions in Isabelle/HOL (interdisciplinary project)
-
Updated
Jun 16, 2019 - Isabelle
Improve this page
Add a description, image, and links to the isabelle topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the isabelle topic, visit your repo's landing page and select "manage topics."