GitHub repository: nittaya1990/coq-async-test
Description: Testing asynchronous system