A framework for parallel or distributed program easy to case recurrent and correctness verification
MIT LicenseMIT
No issues in this repository yet.