Brasília, Brazil

Stream: Geographic locality

[Eduardo Freire]

Hello! I'm a computer science undergraduate at Universidade de Brasília. I've been using lean on and off for about a year to formalize the math I learn, which has mostly been set theory and logic related things.