GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ isabelle-utp
1 open source projects by isabelle-utp
[ Open user page on Github ]
1.
utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
✭ 30
Isabelle
TeX
Standard ML
python
C++
c
theory
hol
utp
unifying-theories
1-1
of
1
user projects
