coqtail

We have hosted the application coqtail in order to run this application in our online workstations with Wine or directly.

Quick description about coqtail:

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

Audience: Education, Science/Research.


Categories: