rotfl.proven.lol
Sign up
Sign in
@rotfl’s recent proofs:
https://emacs.ch/@p0nt1ff
, 3 months ago
Home