rocq-community / coqtail-math

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. [maintainer=@jmadiot]
16Updated 8 months ago

Alternatives and similar repositories for coqtail-math:

Users that are interested in coqtail-math are comparing it to the libraries listed below