Maybe someone on fedi knows of any formalizations of probability theory in homotopy type theory? Any other type theory might be useful as well. #HoTT #probability