Joseph Tassarotti

icon indicating a website link http://www.cs.cmu.edu/~jtassaro/

Results 1 repositories owned by Joseph Tassarotti

coq-proba

44
Stars
5
Forks
Watchers

A Probability Theory Library for the Coq Theorem Prover

verified publisher icon jtassarotti