About leo
1st year TCS PhD student at UBA.
Interested in logic, type theory, proof assistants and algebra.
Lists
leolerena has no public lists
Timeline
leolerena has no activity yet
1st year TCS PhD student at UBA.
Interested in logic, type theory, proof assistants and algebra.
leolerena has no public lists
leolerena has no activity yet