gollum.space
RU
Typical methods of proof
sophia8888
Source
Proof
Logics
Mathematics
v20240901