coqtail to run in linux online

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

Quick description about coqtail to run in linux online:

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.

.