Skip to content

Started implementation of Giry monad #355

Started implementation of Giry monad

Started implementation of Giry monad #355

coq

succeeded Nov 24, 2025 in 1m 11s