Geeks
isabelle-utp
/
UTP
A refreshed and minimalist implementation of Isabelle/UTP
Primary Language
Isabelle
UTP GitHub
Markdown
Readme
2
Issues
4
Stargazers
13
Watchers
Stargazers
cplaursen
York, UK
Frank-Zeyda
Galois, Inc.
omasanori
Japan
yiyuan-cao
Peking University