Տեսակ
Դիտեք, թե ինչի վրա է այն աշխատում հիմա →
Հանրային նպատակով։ Վեբ կայք, որի ամբողջական պահանջը «սերվերը ստուգում է այն» է, պետք է պարզապես նշի, թե որ ստուգողները կենդանի են, որպեսզի կարողանաք տարբերել դրանց միջև։ չստուգված և մենք այսօր չենք կարող ավարտել ստուգումը.
| Ցուցադրել (պահանջվում է ցանկացած ներկայացման գործողության նախորդում) | հասանելի |
| Lean 4 + Mathlib (միակ գործիքը, որը կարող է մուտքագրել ∎) | հասանելի |
| SageMath | հասանելի |
| PARI/GP | հասանելի |
| Z3 / SMT | հասանելի |
| Python (ջրային արկղ) | հասանելի |
| Ցուցակ (matplotlib) | հասանելի |
| OEIS որոնում (այլ մեկի սերվեր, այնպես որ ամեն ինչ անում ենք) | հասանելի |