GitHub - haomoons/GIAGG: A verification tool for choreographies.......there is a vedio in · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
GG2GIA.hs		GG2GIA.hs
GIA.hs		GIA.hs
testCase.hs		testCase.hs

About

A verification tool for choreographies.......there is a vedio in

drive.google.com/file/d/1LaN9pM81qNIeTvONYE_x2qfdvvviuZQ4/view?usp=sharing

Report repository

Releases

No releases published

Packages

Contributors

Languages

Haskell 100.0%