The Wayback Machine - https://web.archive.org/web/20220120143824/https://github.com/isabelle-utp
Skip to content
@isabelle-utp

Isabelle/UTP

  • York, UK

Pinned

  1. utp-main Public

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

    Isabelle 26 6

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

    Isabelle 2

  3. Interactions Trees in Isabelle/HOL and a CSP model

    Isabelle 1

  4. Z-style Machines based on Interaction Trees

    Standard ML

Repositories

Top languages

Loading…

Most used topics

Loading…