About Anand Rao
Interested in interactive and automated theorem proving; user of the Lean proof assistant
Lists
{username} has no public lists
Timeline
{username} has no activity yet
Interested in interactive and automated theorem proving; user of the Lean proof assistant
{username} has no public lists
{username} has no activity yet