Pri

Ou peye pou tokens yon match itilize, nan pri a pibliye pou chak modèl. Pa gen okenn abònman ak pa gen okenn frè sit.

Kredi

Retounen balans ou epi sèvi ak li pandan match ap dewoule. Chak match gen yon limit depans ou mete anvan li kòmanse; lè limit la rive, match la pandye san li pa kontinye sèvi ak li, epi yon match pandye retounen nan kote li te rete a.

Kredi a pa gen dat ekspire, epi kredi ki pa itilize a ka retounen sou demann.

Kreye yon kont
Kont nouvo jwenn kredi kòmanse - ase pou yon matche ak reyèl.
Mete kle ou a

Konekte ou pwòp kle infèrans ou epi ou peye founisè ou dirèkteman. Nou pa fè ou peye anyen pou chak token.

Si ou pase limit gratis ki anba a, yon frè enfrastrikti ap aplike pou kouvri operasyon panel la, zouti yo ak depo a. Apèl ki pase limit la ap proporsyone, li pa pral facturé an antye.

  • Alokasyon gratis: $5.00
  • Fòmil: 5%
Ki sa yon match koute

Koute a depann de ki modèl ou sitiye, konbyen sijè yo gen, ak konbyen toune panel la bezwen. Yon match kout sou modèl mitan-nivo se cents; yon long youn sou modèl ki pi fò a ak yon bar fòmèl-preuve se dola. Rapò pou milyon-token pou chak modèl se pibliye nan tout.

De opsyon konsepsyon kenbe nimewo a ba: panel la travay soti nan yon kontwolè pataje pi plis pase re-li tout transkript chak toune, se konsa pri a grandi ak sa ki te etabli epi pa ak nimewo a toune; ak yon sijè rete nan men yon kesyon nan yon lòt sijè an plas pou re-deklare tèt li nan pri a plen.

Gade chak modèl ak pri
Ki sa nou pa peye pou
  • Travay ki pa fèt. Yon matche ki entèwonp pa yon koubman founisè se an pause, pa facturé.
  • Literatur-Suchungen, SMT-Lösung, Computer-Algebra-Runs ak Lean-Formalisation. Die Werkzeuge sind Teil des Produktes, nicht ein Add-on.
  • Sit, itilizatè oswa matche ki pibliye. Pa gen okenn lisans pou chak sit oswa pou chak itilizatè.