TY  - RPRT
TI  - A method for the automated generation of proof exercises with comparable levels of proving complexity
AU  - João Mendes
AU  - João Marcos
AU  - Patrick Terrematte
PY  - 2026
UR  - https://arxiv.org/abs/2603.07322
ID  - 2603.07322
ER  -