gollum.space
RU
Mathematics Peekaboo
Ilyakosolapov
Source
Logics
Mathematical logic
v20240901