seL4 specification and proofs
-
Updated
Aug 25, 2021 - Isabelle
#
isabelle
Here are 51 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
Aug 25, 2021 - OCaml
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
-
Updated
Jun 28, 2021 - Standard ML
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
-
Updated
May 13, 2021 - Isabelle
A Scala library for controlling/interacting with Isabelle
-
Updated
Jul 11, 2021 - Scala
Fully verified model checker for realtime systems
-
Updated
Jan 6, 2021 - Isabelle
A dependent type theory logic for Isabelle
dependent-types
proof-assistant
type-theory
isabelle
interactive-theorem-proving
logical-framework
dependent-type-theory
-
Updated
Feb 8, 2021 - Standard ML
A client for Isabelle server (https://isabelle.in.tum.de)
-
Updated
Aug 14, 2021 - Python
Experiments in Isabelle/Pure (and a bit of HOL) (ARCHIVED)
-
Updated
Aug 10, 2018 - Standard ML
QuickCheck-like testing framework for Isabelle/ML
-
Updated
Jun 21, 2021 - Standard ML
Exercises in the famous theorem prover
-
Updated
Apr 9, 2021 - Isabelle
Theorem proving geometry of sections in Isabelle
-
Updated
Dec 20, 2019 - Isabelle
Propositional logic and FOL proofs (froward style)
-
Updated
Dec 2, 2017 - Isabelle
Semánticas de lenguajes de programación formalizadas en Isabelle/HOL
-
Updated
Jul 26, 2017 - 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."