coq-library-complexity reviews and mentions
Posts with mentions or reviews of coq-library-complexity.
We have used some of these posts to build our list of alternatives
and similar projects.
-
The 50-year-old problem that eludes theoretical computer science
You might be interested in this: https://github.com/uds-psl/coq-library-complexity
Stats
Basic coq-library-complexity repo stats
1
25
2.4
10 months ago
uds-psl/coq-library-complexity is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
The primary programming language of coq-library-complexity is Coq.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com