GitHub repository: FormulaRabbit81/ProkhorovTheorem
Primary language: Lean
Description: Prokhorov's Theorem formalisation