swMATH30948MaRDI QIDQ42662
No author found.
Source code repository: https://github.com/julian-tschannen/autoproof