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