An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
No resources for this project.