General Probability in Coq.

Avraham Shinnar, Barry M. Trager

Browse the full DSN paper archive.