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.
Is from Bulgaria Bulgaria
Works for University of Cambridge University of Cambridge
Joined on May 23, 2009
Is from Porto (Portugal) Porto (Portugal)
Works for Imandra (@imandra-ai) Imandra (@imandra-ai)
Joined on Jun 29, 2012
Works for Inria Inria
Joined on Jun 7, 2013
Works for Clause, Inc. Clause, Inc.