Gabriel Ferreira Silva

Why We Need Structured Proofs in Mathematics

Jun 22, 2020

Jun 22, 2020

I am computer science PhD student at University of Brasília. I have interest in computer science and mathematics.

Following

Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams