Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System