Implementation of the probability distribution computations in Mathematica

I want to know how Mathematica’s, say TransformedDistribution[] works to facilitate my research on implementing and verifying it in, say Coq. Can you point me to an open source project which has this functionality? Thanks.