/Abstract_Prog_Syntax

A simple Isabelle session introducing syntax for abstract programs

Primary LanguageIsabelle

No issues in this repository yet.