search

coq-community / coq-100-theorems

Statements of famous theorems proven in Coq [maintainer=@jmadiot]
https://madiot.fr/coq100/
Other
55 stars 14 forks source link

Added 78: Cauchy-Schwarz Inequality #3

Closed roglo closed 7 years ago

roglo commented 7 years ago

Just added, on github.