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]
15 stars
5 watching
0 forks
Language: Coq
last commit: 3 months ago
Linked from 1 awesome list
complex-analysiscoqreal-analysis