@1337’s recent proofs:

• https://github.com/gustav-dahl, 2 years ago
• https://social.lol/@1337, 2 years ago

Home