GitHub repository: JasonKYi/probability_theory
Primary language: Lean
Created: 2021-07-02T15:45:17Z
Description: Probability theory in Lean with the ultimate goal being the Radon-Nikodym theorem