coq-contribs reviews and mentions
Posts with mentions or reviews of coq-contribs.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Is there some sort of archive of formal proofs for Coq?
There's also the older coq-contribs, which used to be the closest thing Coq had to Isabelle's AFP (but much smaller). Other than that, I guess your best bet is to search for a corresponding paper.
Stats
Basic coq-contribs repo stats
1
7
0.0
almost 3 years ago
The primary programming language of coq-contribs is OCaml.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com