GitHub - mit-plv/bbv: Bedrock Bit Vector Library - discu.eu

Reddit

Converting dependent types with a proof that they are the same https://github.com/mit-plv/bbv 3 comments 4/5/2020 coq

Linking pages

GitHub - coq-community/awesome-coq: A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog] https://github.com/coq-community/awesome-coq 0 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - mit-plv/bbv: Bedrock Bit Vector Library

See how to search.

Submit link to: