gollum.space
RU
Computer created mathematical proof
404
Source
Proof
Computer
Mathematics
Not mine
Opening
Theory and practice
v20240901