TY  - RPRT
TI  - Proving at Scale for Universal Algebra
AU  - João Araújo
AU  - Jan Hůla
AU  - Mikoláš Janota
AU  - Edmond W. H. Lee
AU  - Bartosz Naskręcki
PY  - 2026
UR  - https://arxiv.org/abs/2610.02500
ID  - 2610.02500
ER  -