Formalization of Continuous Probability Distributions.

Osman Hasan, Sofine Tahar

Browse the full CADE paper archive.