An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
-
Updated
Jan 29, 2024 - Isabelle
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
Add a description, image, and links to the unifying-theories topic page so that developers can more easily learn about it.
To associate your repository with the unifying-theories topic, visit your repo's landing page and select "manage topics."