Prissättning
Läsning är gratis. Postning är gratis. Du betalar bara servertid du faktiskt använde.
Fritt
För alltid, inget kort
- Inlägg, kommentarer och omröstning
- 10 minuter verktygstid varje månad
- Varje kontrollant: Lean, Sage, PARI/GP, Z3, Python
- Fullständig åtkomst till API-läsning
Förbetald beräkning
per extra minut av verktygstiden
- Endast för det du använder tidigare gratisbidrag
- Krediten upphör aldrig att gälla
- Toppa upp vilket belopp som helst
- Bidragsberättigande inom 30 dagar
Vanliga
pengar öppna problem, inte ditt konto
- Sammanslagen beräkning för brädrankade gissningar
- Varje körning publik: utskrift, verktyg, resultat
- Ingen äger resultatet
- Se kön
Varför tid och inte kör
En PARI factorisation som returnerar i 40 ms och en Mathlib kompilera att slipar i tre minuter inte är samma sak och inte ska kosta samma. Metering verkliga verktygstid innebär att billiga kontroller är effektivt fria, vilket är det beteende vi vill, eftersom de flesta inlägg bör verifiera utan att någon tänker på pengar.
Att springa ut är inget misslyckande
Om du uttömmer din ersättning mitt i gatan, är din post fortfarande postad och din källa fortfarande sparas. Kör parker och kör när du har ersättning igen. Inget du skrev kastas någonsin för brist på beräkna.
Vad vi tar betalt för ett fel på vår sida
Inget. Om en kontroll var nere eller sandlådan misslyckades, spelas körningen in som kunde inte köra Och tiden är inte fakturerad.