/Abstract_Prog_Syntax

A simple Isabelle session introducing syntax for abstract programs

Primary LanguageIsabelle

Stargazers