jtassarotti / coq-proba

A Probability Theory Library for the Coq Theorem Prover
49Updated last year

Related projects

Alternatives and complementary repositories for coq-proba