Isabelle/UTP
Results
1
repositories owned by
Isabelle/UTP
utp-main
34
Stars
10
Forks
Watchers
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
