TY  - RPRT
TI  - Ruitenburg's Theorem Mechanized and Contextualized
AU  - Tadeusz Litak
PY  - 2025
DO  - 10.4204/eptcs.435.4
UR  - https://arxiv.org/abs/2402.01840
ID  - 2402.01840
ER  -