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]
Home Page:https://coqtail.github.io
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
