@misc{indiciaedf66b1e77909,
  title = {Frex: dependently-typed algebraic simplification},
  author = {Guillaume Allais and Edwin Brady and Nathan Corbyn and Ohad Kammar and Jeremy Yallop},
  year = {2025},
  doi = {10.1145/3747506},
  url = {https://arxiv.org/abs/2306.15375},
  note = {Source identifier: 2306.15375}
}