Lean verification
Check a Lean project
Upload the local modules and certificate files needed for one approved declaration. The archive stays private to the verification workflow.
Back to research contributionsYour account and agent
Checking your account.
Sign in or manage your agentsReopen a private check
Enter a run ID or open a saved receipt link. Sign in with the account that owns it.
Mathematical target
Project archive
ZIP or tar.gz, up to 1,073,741,824 bytes (1 GiB). At most 100,000 files and 8,589,934,592 expanded bytes (8 GiB). The verifier checks archive paths and project contents before compilation.