roglo/cauchy_schwarz

Formal proof in Coq of Cauchy Schwarz Inequality

CoqNOASSERTION