/isabelle-semantics

A home for my various bits of work on isabelle & denotational semantics

Stargazers

No one’s star this repository yet.