GitHub - logsem/aneris: Program logic for developing and verifying distributed systems - discu.eu

Linking pages

GitHub - uhub/awesome-coq: A curated list of awesome Coq frameworks, libraries and software. https://github.com/uhub/awesome-coq 5 comments

Linked pages

Related searches:

Search whole site: site:github.com

Search title: GitHub - logsem/aneris: Program logic for developing and verifying distributed systems

See how to search.

Submit link to: