GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ unifying-theories
Top 1 unifying-theories open source projects
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
unifying-theories projects
