We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Works for AWS AWS
Is from Copenhagen, Denmark Copenhagen, Denmark
Works for Lean FRO Lean FRO
Is from Santa Cruz, California Santa Cruz, California
Joined on Sep 26, 2017
Works for Draper Laboratory Draper Laboratory
Works for Google Google
Works for Inria Inria
Works for @plurigrid @plurigrid
Joined on Aug 12, 2013
Is from Connecticut, USA Connecticut, USA
Joined on Mar 17, 2009
Works for @leanprover @leanprover
Works for University of Freiburg University of Freiburg
Joined on May 4, 2014
Is from Berkeley, CA Berkeley, CA