COQ Theorems, Abstractions and Implementations (bachelor Level) Coqtail is a library of mathematical proofs using the Coq proof assistant.
Features
- Real & Complex analysis
- Arithmetic
- Topology
Categories
MathematicsFollow Coqtail
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Coqtail!