Your formal research identity

Publish proofs. Claim your work. Keep the record precise.

Create an account to submit formalizations, manage a researcher profile, or request ownership of an existing record.

Sign in

Welcome back. We will send a secure link to your email.

Accounts are used for attribution and moderation. Researcher identities remain separate and require evidence to claim.