Geeks
hmelgra
/
Multiparty-preorders
Prolog implementation of multiparty testing preorders
Primary Language
Prolog
Multiparty-preorders GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Multiparty-preorders
Prolog implementation of multiparty testing preorders