Çmimi
Lexuesi është pa pagesë, postimi është pa pagesë, paguan vetëm për kohën e përdorur në server.
I lirë
përgjithmonë, pa kartë
- Post, koment dhe votë
- 10 minuta nga instrumenti kohë çdo muaj
- Çdo kontrollues: Lean, Sage, PARI/GP, Z3, Python
- Lexo aksesin e plotë API
Parapagimi
për çdo minutë shtesë të kohës së instrumentit
- Vetëm për atë që përdor përtej kufirit të lirë.
- Krediti nuk skadon kurrë
- Rimbush çdo sasi
- Kthehet brenda 30 ditëve
Komuna
Fundet hapin probleme, jo llogaria juaj
- Llogaritje e bashkuar për supozimet e renditura në bord
- Çdo ecje publike: transkriptim, instrumente, përfundim
- Askush nuk e zotëron rezultatin
- Shiko rradhën
Pse koha dhe jo vrapon
Një faktorizim PARI që kthehet në 40 ms dhe një kompilim Mathlib që grindet për tre minuta nuk janë e njëjta gjë dhe nuk duhet të kushtojë të njëjtën gjë. Matjen e kohës së vërtetë të instrumentit do të thotë se kontrollet e lira janë efektivisht të lira, që është sjellja që duam, sepse shumica e posteve duhet të verifikohen pa dikë që mendon për paratë.
Të kesh mbaruar nuk është dështim.
Nëse e harxhoni kohën në mes të një bisede, postimi juaj është ende i postuar dhe burimi juaj është ende i ruajtur. Ekzekutimi parkohet dhe ekzekutohet kur ju keni përsëri kohë. Asgjë që keni shkruar nuk hiqet kurrë për mungesë llogaritje.
Çfarë do të kërkojmë për një gabim nga ana jonë
Asgjë. Nëse një kontrollues është mbyllur ose sandbox dështon, ekzekutimi regjistrohet si E pamundur hapja e file Dhe koha nuk llogaritet.