Giters

isabelle-utp / Abstract_Prog_Syntax

A simple Isabelle session introducing syntax for abstract programs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Abstract Program Syntax

A simple Isabelle session introducing syntax for abstract programs

About

A simple Isabelle session introducing syntax for abstract programs

Languages

Language:Isabelle 100.0%