isabelle-utp/utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
IsabelleNOASSERTION
Stargazers
- aogrcs
- berezovskyi127.0.0.1
- cplaursenYork, UK
- eugenius7Vatican Temple
- f3d3r1c01
- Frank-ZeydaGalois, Inc.
- hai-nguyen-van@oneweb-net
- hongjianjiangkaiserslautern
- jbjjUniversity of Pernambuco (UPE)
- JiawenXiongShangHai, China
- johanrhodinSt. Louis, MO
- kammitama5University of Vermont
- kiniry@FreeAndFair @GaloisInc
- kitokiindonesia
- lambdacasseroleBreachLock B.V.
- LinuxMercedes@lm@icosahedron.website
- nsyeeTokyo
- omasanoriJapan, or anywhere else
- pefribeiroUniversity of York
- ramonfmirLondon
- ratnaniaUM6P
- RobertSachtlebenBremen, Germany
- Stevengre
- ThomasHickman@Genomicsplc
- toonn
- v217
- vepoblioVEPO
- verybusybusiness
- xyz2k8
- yiyuan-caoPeking University
- Yoz0
- yylonlyRequirements Modelling and Automatic Prototyping
- z-xiaolong
- Zeta611@ropas @KoreanTUG