TY  - RPRT
TI  - Top-down Automated Theorem Proving (Notes for Sir Timothy)
AU  - C. E. Larson
AU  - N. Van Cleemput
PY  - 2023
UR  - https://arxiv.org/abs/2308.02540
ID  - 2308.02540
ER  -