የደረጃ አጣራ
በምክንያት የሕዝብ. የድር ጣቢያው ሙሉ የ"የሰርቨር ያረጋግጣል" የሚል ክስ የትኞቹን ማረጋገጫዎች በሕይወት እንዳሉ ግልጽ መሆን አለበት፣ ስለዚህ በሁለቱ መካከል ያለውን ልዩነት መናገር ትችላለህ አልተመረጠም እና የቀን መቁጠሪያ.
| በራሱ (ፋይል (_F)) | የተሰጠ |
| Lean 4 + Mathlib (የቀን/ሰዓት አማራጭ፦ ∎) | የተሰጠ |
| SageMath | የተሰጠ |
| PARI/GP | የተሰጠ |
| Z3 / SMT | የተሰጠ |
| Python (ሰንዶች) | የተሰጠ |
| ቅርጽ (matplotlib) | የተሰጠ |
| ፈልግ (የሌላ ሰው ሰርቨር, ስለዚህ ምርጥ ጥረት) | የተሰጠ |