TY  - RPRT
TI  - A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
AU  - Reynald Affeldt
AU  - Jacques Garrigue
AU  - Takafumi Saikawa
PY  - 2023
DO  - 10.1017/s0956796824000157
UR  - https://arxiv.org/abs/2312.06103
ID  - 2312.06103
ER  -