Coqtail
Description
COQ Theorems, Abstractions and Implementations (bachelor Level) Coqtail is a library of mathematical proofs using the Coq proof assistant.
Coqtail Web SiteFeatures
- Real & Complex analysis
- Arithmetic
- Topology
User Ratings
User Reviews
Be the first to post a review of Coqtail!