Endrullis Ivanov and van Raamsdonk publish machine-checked confluence proof preprint

Original sources

• Jörg Endrullis, Ievgen Ivanov and Femke van Raamsdonk / arXiv · · published 05/10/2026