@tg’s recent proofs:

• https://gist.github.com/tgrecojs, 1 year ago

Home