isabelle-utp/Total_Recall isabelle-utp/Total_Recall

  • Stars
    star
    1
  • Language Standard ML
  • Created almost 4 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
isabelle-utp/Total_Recall
github

isabelle-utp

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

utp-main

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

interaction-trees

Interactions Trees in Isabelle/HOL and a CSP model
Isabelle
6
star
3

Optics

Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL
Isabelle
5
star
4

Hybrid-Verification

Components for Verifying Hybrid Systems in Isabelle/HOL
Isabelle
5
star
5

Z_Toolkit

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

UTP

A refreshed and minimalist implementation of Isabelle/UTP
Isabelle
4
star
7

Shallow-Expressions

Isabelle
2
star
8

isabelle-quantity

Quantities in Isabelle/HOL
TeX
2
star
9

Isabelle-SACM

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

RoboChart-Isabelle

Isabelle
1
star
11

Hybrid-Library

Additional theorems and tools to supporting reasoning about hybrid systems in Isabelle/HOL
TeX
1
star
12

UTP-Reactive

UTP theory of reactive processes
Isabelle
1
star
13

CyPhyAssure

Distribution of the CyPhyAssure tools
Shell
1
star
14

UTP-Designs

The UTP theory of designs
Isabelle
1
star
15

Isabelle-API

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

UTP-Docs

Documentation for Isabelle/UTP
1
star
17

Abstract_Prog_Syntax

A simple Isabelle session introducing syntax for abstract programs
Isabelle
1
star