coqtail-math
coqtail-math copied to clipboard
coq-community
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]
Results
1
coqtail-math issues
Sort by
recently updated
recently updated
newest added
trafficstars
Metadata
15
Stars
0
Forks
Watchers
Owner
Metadata
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]