@misc{indiciaecad893c1a9b5,
  title = {A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory},
  author = {Reynald Affeldt and Jacques Garrigue and Takafumi Saikawa},
  year = {2023},
  doi = {10.1017/s0956796824000157},
  url = {https://arxiv.org/abs/2312.06103},
  note = {Source identifier: 2312.06103}
}