Pinned Repositories
CAS-Integration
A project to integrate the functionality of Computer Algebra Systems into Isabelle
Hybrid-Verification
Components for Verifying Hybrid Systems in Isabelle/HOL
interaction-trees
Interactions Trees in Isabelle/HOL and a CSP model
Isabelle-SACM
An implementation of the Structured Assurance Case Meta-model in Isabelle using Isabelle/DOF
Optics
Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL
Shallow-Expressions
UTP
A refreshed and minimalist implementation of Isabelle/UTP
utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
Z_Machines
Z-style Machines based on Interaction Trees
Z_Toolkit
This is an implementation of the Z mathematical toolkit in Isabelle/HOL, as described in ISO 13568:2002.
Isabelle/UTP's Repositories
isabelle-utp/utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
isabelle-utp/interaction-trees
Interactions Trees in Isabelle/HOL and a CSP model
isabelle-utp/Hybrid-Verification
Components for Verifying Hybrid Systems in Isabelle/HOL
isabelle-utp/Optics
Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL
isabelle-utp/Z_Toolkit
This is an implementation of the Z mathematical toolkit in Isabelle/HOL, as described in ISO 13568:2002.
isabelle-utp/UTP
A refreshed and minimalist implementation of Isabelle/UTP
isabelle-utp/CAS-Integration
A project to integrate the functionality of Computer Algebra Systems into Isabelle
isabelle-utp/Isabelle-SACM
An implementation of the Structured Assurance Case Meta-model in Isabelle using Isabelle/DOF
isabelle-utp/Shallow-Expressions
isabelle-utp/Hybrid-Library
Additional theorems and tools to supporting reasoning about hybrid systems in Isabelle/HOL
isabelle-utp/Isabelle-API
A simple reflective API for Isabelle/HOL targeting code generation.
isabelle-utp/isabelle-quantity
Quantities in Isabelle/HOL
isabelle-utp/RoboChart-Isabelle
isabelle-utp/Total_Recall
A utility to enable better support for overriding of syntax notation in Isabelle/HOL, developed by Dr Frank Zeyda.
isabelle-utp/Abstract_Prog_Syntax
A simple Isabelle session introducing syntax for abstract programs
isabelle-utp/CyPhyAssure
Distribution of the CyPhyAssure tools
isabelle-utp/explore-subgoal
Adds an "explore_subgoal" command to Mathias Fleury's Explorer.thy
isabelle-utp/FSA_Proof
A simple example tool for verifying finite state automata with a little DSL
isabelle-utp/isabelle-x11-docker
Docker image and runtime for Isabelle with X11 support.
isabelle-utp/UTP-Designs
The UTP theory of designs
isabelle-utp/UTP-Docs
Documentation for Isabelle/UTP
isabelle-utp/UTP-Reactive
UTP theory of reactive processes
isabelle-utp/Z_Machines
Z-style Machines based on Interaction Trees
isabelle-utp/Z_Machines_Examples
A library of examples based on Z-Machines
isabelle-utp/mirror-afp-2021
Git mirror of foss.heptapod.net/isa-afp/afp-2021
isabelle-utp/mirror-afp-2021-1
Git mirror of https://foss.heptapod.net/isa-afp/afp-2021-1
isabelle-utp/mirror-afp-2022
Git mirror of https://foss.heptapod.net/isa-afp/afp-2022
isabelle-utp/mirror-afp-2023
Git mirror of https://foss.heptapod.net/isa-afp/afp-2023