The loss of logical foundations might actually be liberating. What is the greatest mathematical achievement of all time? Judged in terms of the consequences for science and engineering, one might ...

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.