isabelle-utp Goto Github PK

abstract_prog_syntax

A simple Isabelle session introducing syntax for abstract programs

cas-integration

A project to integrate the functionality of Computer Algebra Systems into Isabelle

cyphyassure

Distribution of the CyPhyAssure tools

explore-subgoal

Adds an "explore_subgoal" command to Mathias Fleury's Explorer.thy

fsa_proof

A simple example tool for verifying finite state automata with a little DSL

hybrid-library

Additional theorems and tools to supporting reasoning about hybrid systems in Isabelle/HOL

hybrid-verification

Components for Verifying Hybrid Systems in Isabelle/HOL

interaction-trees

Interactions Trees in Isabelle/HOL and a CSP model

isabelle-api

A simple reflective API for Isabelle/HOL targeting code generation.

isabelle-quantity

Quantities in Isabelle/HOL

isabelle-sacm

An implementation of the Structured Assurance Case Meta-model in Isabelle using Isabelle/DOF

isabelle-x11-docker

Docker image and runtime for Isabelle with X11 support.

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

optics

Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL

robochart-isabelle

shallow-expressions

total_recall

A utility to enable better support for overriding of syntax notation in Isabelle/HOL, developed by Dr Frank Zeyda.

utp

A refreshed and minimalist implementation of Isabelle/UTP

utp-designs

The UTP theory of designs

utp-docs

Documentation for Isabelle/UTP

utp-main

An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

utp-reactive

UTP theory of reactive processes

z_machines

Z-style Machines based on Interaction Trees

z_machines_examples

A library of examples based on Z-Machines

z_toolkit

This is an implementation of the Z mathematical toolkit in Isabelle/HOL, as described in ISO 13568:2002.