updated Standard Borel and S-finite measure monad
Description
Description
Details
Details
- Provenance
Michikazu Hirata <hirata.m.ac@m.titech.ac.jp> Authored on - Parents
- rAFPa6d153d38d4b: Multirelations_Heterogeneous: added Hoare rules for multirelations
- Branches
- Unknown
- Tags