snu-sf/promising-coq

Readme
Issues
Stargazers
Watchers

Porting to Coq 8.9?

Closed this issue 4 years ago · 0 comments

jeehoonkang commented 6 years ago

Coq 8.9 is out: https://coq.inria.fr/download

Topics

concurrency shared-memory promising-semantics

Share to

Contact site admin: Geeks.