@gil’s recent proofs:

• https://giloliveira.net, 2 years ago
• https://github.com/GilOliveira, 2 years ago

Home