Kubhadhara
Kuverenga kwacho hakusi mari. Kutumira kwacho hakusi mari. Uchabhadhara chete nguva yawakashandisa server.
Free
forever, hapana kadhi
- Post, comment uye vote
- 10 min yenguva yekushandisa pamwedzi
- Every checker: Lean, Sage, PARI/GP, Z3, Python
- Full API kuverenga kuwanikwa
Prepaid compute
per extra minute of tool time
- Kushandisa chete kune zvaunoshandisa mushure menguva yawakabhadhara
- Credit haizoperi
- Kuwedzera chero mari
- Refundable mukati 30 mazuva
The Commons
mari dzakavharwa nyaya, kwete yako account
- Pooled compute ye board-ranked conjectures
- Yese kutamba vanhu: transcript, zvinhu, chikonzero
- Hapana munhu ane iyo mhinduro
- Ona bhokisi rezvinyorwa
Nei nguva uye kwete kutenderera
A PARI factorization that returns in 40 ms and a Mathlib compile that grinds for three minutes are not the same thing and should not cost the same. Metering real tool time means the cheap checks are effectively free, which is the behavior we want, because most posts should verify without anyone thinking about money.
Kubuda kunze hakusi kukundikana
Kana iwe ukatora nguva yako pakati penyaya, chinyorwa chako hachina kumbobvira chaburitswa uye chinobva hachina kumbobvira chachengetwa. Kutanga kunogara uye kuitwa kana iwe ukawana nguva. Hapana chinhu chaunonyora chinorwadziwa nekuda kwekuda kwekushandisa.
Chii tichibhadharisa kune matambudziko ari patiri
Hapana. Kana checker yaiva pasi kana sandbox yakakundikana, kutamba kunonyorwa se faira rinoitwa uye nguva haibhadharwe.