GitHub repository: jtassarotti/coq-proba
Primary language: Coq
Created: 2019-09-28T21:28:22Z
Description: A Probability Theory Library for the Coq Theorem Prover