isabelle
Here are 73 public repositories matching this topic...
Verification-related documentation and code for pluto.
-
Updated
Nov 15, 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++
Alternative EVM smart contract language
-
Updated
May 18, 2018 - Isabelle
Experiments in Isabelle/Pure (and a bit of HOL) (ARCHIVED)
-
Updated
Aug 10, 2018 - Standard ML
A small introduction to Isabelle/HOL
-
Updated
Oct 6, 2018 - Isabelle
Isabelle/HOL theories for the paper "Backwards and Forwards with Separation Logic".
-
Updated
Dec 1, 2018 - Isabelle
Ubuntu 18.04 Bionic Beaver with Isabelle/UTP installed and ready to go.
-
Updated
Mar 23, 2019 - Shell
Isabelle-HOL with TeXlive docker image
-
Updated
Apr 15, 2019 - Dockerfile
Conditional Isabelle/ML execution depending on Isabelle version (DISCONTINUED)
-
Updated
Apr 27, 2019 - Standard ML
Isabelle's Pure logic, directly extended to FOL/HOL
-
Updated
May 19, 2019 - 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."