GitHub - verse-lab/toychain: A minimalistic blockchain consensus implemented and verified in Coq - 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 - verse-lab/toychain: A minimalistic blockchain consensus implemented and verified in Coq

See how to search.

Submit link to: