1. Who we are
These terms are an agreement between you and Functorial, Inc., a Delaware corporation (“Functorial”, “we”, “us”). They apply to functorial.inc, apps.functorial.inc, and any software, subscriptions or professional services we provide (together, the “Services”). By using or paying for the Services you agree to these terms.
2. Customer service
Email hello@functorial.inc with any question about the Services, an order, a charge, a refund or a cancellation. We reply within two business days. See the contact page for what to include.
3. Purchases and billing
- Prices are in U.S. dollars and are shown before you pay. Applicable taxes are added at checkout.
- Card payments are processed by Stripe. We do not store your full card number.
- Subscriptions renew automatically at the end of each billing period at the then-current price until you cancel. We will notify you by email before any price change takes effect.
- Professional services, such as autoformalization engagements, are billed as set out in a written order or statement of work. Where that document conflicts with these terms, the order or statement of work governs.
4. Cancellation policy
- Subscriptions. You may cancel at any time from your account or by emailing hello@functorial.inc. Cancellation takes effect at the end of the current billing period; you keep access until then and are not charged again.
- Professional services. Either party may cancel an engagement with written notice. You pay for work performed up to the date of cancellation, and we refund any prepaid amount for work not yet performed.
- Free trials. Cancel before the trial ends and you will not be charged.
5. Refund policy
- 14-day guarantee. If you are not satisfied with a new subscription, ask for a refund within 14 days of your first charge and we will refund it in full.
- Renewals are not refunded once the new billing period has begun, except where required by law. Cancel before the renewal date to avoid the next charge.
- Billing errors. Duplicate charges, charges after a confirmed cancellation, and other billing mistakes are always refunded in full.
- Professional services are refunded as described in the cancellation policy above, or as set out in your order or statement of work.
How to request a refund: email hello@functorial.inc from the address used for the purchase, with the date and amount of the charge. Approved refunds go back to the original payment method within 5 business days of approval; your bank may take another 5–10 business days to post them.
6. Returns
We sell only digital products and services and do not sell or ship physical goods, so there is nothing to return. Refunds are handled under section 5.
7. Dispute policy
If you think a charge is wrong or you are unhappy with the Services, please email hello@functorial.inc first. Most problems can be resolved quickly, and we aim to resolve every billing dispute within 10 business days of hearing from you.
You may also dispute a charge with your card issuer. If you do, we will respond to the issuer with the records of your purchase and use of the Services, and we may suspend the related account while the dispute is open. If a dispute is resolved in our favour, amounts owed remain due.
These terms are governed by the laws of the State of Delaware, without regard to its conflict-of-law rules. Any legal claim relating to the Services will be brought in the state or federal courts located in Delaware, and both parties consent to their jurisdiction. Nothing here limits rights you have under consumer protection laws that cannot be waived.
8. Promotions
From time to time we may offer discount codes, free trials, credits or other promotions. Unless the offer states otherwise:
- Each promotion is limited to one per customer and to new purchases made while it is active.
- Promotions cannot be combined, have no cash value, and cannot be transferred or resold.
- A discount applies only to the billing periods stated in the offer; afterwards the regular price applies.
- A free trial converts to a paid subscription at the end of the trial unless cancelled. We show the price and the date of the first charge before we ask for payment details.
- Expiry dates, eligibility and any additional conditions are stated with the offer.
- We may change or end a promotion at any time, but not for anyone who has already redeemed it. Promotions are void where prohibited by law, and we may cancel promotional benefits obtained by fraud or abuse.
9. Legal and export restrictions
The Services are subject to United States export control and economic sanctions laws, including the Export Administration Regulations and regulations administered by the Treasury Department’s Office of Foreign Assets Control (OFAC). You may not use or pay for the Services if you are:
- located in, or ordinarily resident in, a country or region subject to comprehensive U.S. sanctions (such as Cuba, Iran, North Korea, and the Crimea, so-called Donetsk People’s Republic and Luhansk People’s Republic regions of Ukraine);
- named on, or owned or controlled by a party named on, a U.S. government restricted-party list, such as OFAC’s Specially Designated Nationals List or the Commerce Department’s Entity List; or
- intending to use the Services for any end use prohibited by U.S. law.
You must be at least 18 years old, or the age of majority where you live, to buy the Services. You are responsible for complying with the laws that apply to you where you use the Services.
10. Disclaimers and liability
Formal verification reduces, but does not eliminate, the risk of error: a proof is only as good as the statement it proves. The Services are provided “as is” without warranties of any kind, to the extent permitted by law. To the extent permitted by law, our total liability for any claim relating to the Services is limited to the amount you paid us in the 12 months before the claim arose, and we are not liable for indirect, incidental or consequential damages.
11. Changes to these terms
We may update these terms. The effective date above shows when they last changed. For material changes affecting paying customers we will give at least 30 days’ notice by email, and changes do not apply retroactively to purchases already made.