Isabelle/UTP's repositories
interaction-trees
Interactions Trees in Isabelle/HOL and a CSP model
Hybrid-Verification
Components for Verifying Hybrid Systems in Isabelle/HOL
CAS-Integration
A project to integrate the functionality of Computer Algebra Systems into Isabelle
Isabelle-SACM
An implementation of the Structured Assurance Case Meta-model in Isabelle using Isabelle/DOF
Hybrid-Library
Additional theorems and tools to supporting reasoning about hybrid systems in Isabelle/HOL
Isabelle-API
A simple reflective API for Isabelle/HOL targeting code generation.
isabelle-quantity
Quantities in Isabelle/HOL
Total_Recall
A utility to enable better support for overriding of syntax notation in Isabelle/HOL, developed by Dr Frank Zeyda.
Z_Machines_Examples
A library of examples based on Z-Machines
Abstract_Prog_Syntax
A simple Isabelle session introducing syntax for abstract programs
CyPhyAssure
Distribution of the CyPhyAssure tools
explore-subgoal
Adds an "explore_subgoal" command to Mathias Fleury's Explorer.thy
isabelle-x11-docker
Docker image and runtime for Isabelle with X11 support.
UTP-Designs
The UTP theory of designs
UTP-Reactive
UTP theory of reactive processes
Z_Machines
Z-style Machines based on Interaction Trees
mirror-afp-2021
Git mirror of foss.heptapod.net/isa-afp/afp-2021
mirror-afp-2021-1
Git mirror of https://foss.heptapod.net/isa-afp/afp-2021-1
mirror-afp-2022
Git mirror of https://foss.heptapod.net/isa-afp/afp-2022
mirror-afp-2023
Git mirror of https://foss.heptapod.net/isa-afp/afp-2023