We don't know any projects categorized as verified-stack yet.

Coq verified-stack related posts

• There's an ongoing effort to rewrite Principia Mathematica using Coq

  5 projects | /r/math | 3 Dec 2021

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

Do not miss the trending Coq projects with our weekly report!