Answers before checkout
Proof pass questions, without the fine-print maze.
Everything below applies to the current AlphaProof Code storefront and its manually delivered Lean 4 proof-engineering passes.
What is AlphaProof Code?
AlphaProof Code is an independent storefront for proof-engineering passes. The passes provide credits for Lean 4 formalization, proof repair and verification-oriented review. It is not an official Google or DeepMind product.
What counts as a proof credit?
A credit is an internal unit used to scope proof-engineering work. The intake instructions explain how to submit a theorem, repository context and the verification state you need. Credits are consumed only after work is accepted into the queue.
How is a pass delivered?
After Stripe confirms payment, the pass is prepared manually and posted to your private order page as a claim code with intake instructions. You can return with your order number and purchase email if you lose the page.
Do I need a Google account?
No. Checkout requires only a purchase email. There is no customer login and no Google account connection.
Can you guarantee that a theorem will be proved?
No. Formalization depends on the statement, available libraries, compute budget and mathematical scope. We provide bounded proof-engineering effort and clear verification notes, not a promise that every open problem will close.
What payment methods are supported?
Stripe Checkout handles payment in USD and may offer cards, Apple Pay or Google Pay when the buyer's device and region support them. The amount shown on Stripe is the final charge.
Why are the passes priced this way?
Pricing reflects the amount of proof-engineering context and iteration included in each pass. Starter is for one blocked theorem, Pro is for a broader repair effort, and Team is for a shared formalization campaign.
Is the displayed price the final price?
The site and Stripe Checkout display the charge in USD. The Stripe amount is authoritative, and no client-supplied price is trusted by the order API.
Is delivery automatic?
No. Passes are manually prepared and posted to the private order page. Order tracking shows the payment and delivery state.
What if I cannot find my order?
Use the order number from the confirmation page together with the purchase email on the Track Order page. Support cannot recover an order from a different email alone.
How long does manual delivery take?
The order page updates when the pass is prepared. Delivery time depends on queue state and order verification. The page shows the current payment and delivery status, and you can return with your order number and purchase email.
Can I change the purchase email after checkout?
Contact support from the purchase email and include the order number. For fraud prevention, an order cannot be transferred solely on the request of a different email address.
What happens if payment succeeds but the page does not update?
Return to the order page from the Stripe confirmation and allow the payment reconciliation to run. If the status remains pending, contact support with the order number and Stripe receipt. Never send card details.
Are refunds available?
Undelivered orders can be reviewed for refund. Delivered digital passes and consumed proof credits are generally non-refundable. Contact support before opening a chargeback so the order can be investigated.