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