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
- GitHub - runtimeverification/algorand-verification: Formal verification of the Algorand consensus protocol https://github.com/runtimeverification/algorand-verification 0 comments
- GitHub - coq-community/fourcolor: Formal proof of the Four Color Theorem [maintainer=@ybertot] https://github.com/math-comp/fourcolor 0 comments
Related searches:
Search whole site: site:math-comp.github.io
Search title: Mathematical Components
See how to search.