@victorcardoso’s recent proofs:

• https://github.com/shoganaich, 5 months ago

Home