/utp-main

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

Primary LanguageIsabelleOtherNOASSERTION

Stargazers

No one’s star this repository yet.