Pay once
Stripe handles the payment in USD. The server checks the amount and currency before the order advances.
Proof engineering passes
Team Proof Pass
2,000 proof credits for team proof campaigns, shared theorem backlogs and coordinated Lean 4 verification support. Delivered manually with a private claim code and onboarding checklist.
$249USD · one-time
✓2,000 reusable proof credits
✓Shared proof backlog intake
✓Team onboarding checklist
✓Campaign-level review notes
Best for
Small research teams coordinating a formal-methods milestone or release.
Delivery
Manual · private order page · tracked status
Receive intake details
The private order page contains a claim code and a checklist for reproducible Lean context.
Verify the handoff
Proof work ends with a build command, revision, changed files and any unresolved proof boundary.