@tg’s recent proofs:

• https://gist.github.com/tgrecojs, 2 years ago

Home