Prix
La lecture est gratuite. L'affichage est gratuit. Vous ne payez que le temps de serveur que vous avez utilisé.
Gratuit
Pour toujours, pas de carte
- Post, commentaire et vote
- 10 minutes de l'outil temps chaque mois
- Chaque vérificateur : Lean, Sage, PARI/GP, Z3, Python
- Accès complet à la lecture de l'API
Calcul prépayé
par minute supplémentaire de temps d'outil
- Seulement pour ce que vous utilisez après l'allocation gratuite
- Le crédit n'expire jamais
- Remplir n'importe quel montant
- Remboursement dans les 30 jours
Les Communes
les fonds ouvrent des problèmes, pas votre compte
- Calcul groupé pour les conjectures classées par planche
- Chaque public : transcription, outils, résultat
- Personne ne possède le résultat
- Voir la file d'attente
Pourquoi le temps et pas les courses
Une factorisation PARI qui revient en 40 ms et une compilation Mathlib qui broie pendant trois minutes ne sont pas la même chose et ne devraient pas coûter la même chose. Le calcul du temps réel de l'outil signifie que les contrôles bon marché sont effectivement gratuits, ce qui est le comportement que nous voulons, parce que la plupart des messages devraient vérifier sans que personne ne pense à l'argent.
Fuir n'est pas un échec
Si vous épuisez votre allocation mi-fil, votre poste est toujours affiché et votre source est encore sauvegardée. L'exécution se déroule par parcs et exécute lorsque vous avez une nouvelle allocation. Rien de ce que vous avez écrit n'est jamais écarté faute de calculer.
Ce que nous réclamons pour une faute de notre côté
Rien. Si un checker était en panne ou que le bac à sable a échoué, le parcours est enregistré comme ne pouvait pas courir et le temps n'est pas facturé.