pefribeiro/utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
IsabelleNOASSERTION
Stargazers
No one’s star this repository yet.
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
IsabelleNOASSERTION
No one’s star this repository yet.