coq-proba

A Probability Theory Library for the Coq Theorem Prover

GitHub

49 stars
1 watching
5 forks
Language: Coq
last commit: 12 months ago