Pay once
Stripe handles the payment in USD. The server checks the amount and currency before the order advances.
Proof engineering passes
Pro Proof Pass
500 proof credits for larger Lean 4 proof-engineering work: imports, lemma discovery, proof repair and verification-ready iteration notes. Delivered manually with a private claim code.
$79USD · one-time
✓500 reusable proof credits
✓Lemma and dependency mapping
✓Proof-repair iteration notes
✓Priority intake guidance
Best for
Independent researchers shipping a paper artifact or maintaining a serious Lean project.
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.