TY  - RPRT
TI  - Canonical for Automated Theorem Proving in Lean
AU  - Chase Norman
AU  - Jeremy Avigad
PY  - 2025
DO  - 10.4230/lipics.itp.2025.14
UR  - https://arxiv.org/abs/2504.06239
ID  - 2504.06239
ER  -