unifying-theories topic
List
unifying-theories repositories
utp-main
34
Stars
10
Forks
Watchers
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
