Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback