තත්වය පරීක්ෂා කරන්න
අරමුණක් මත මහජන. මුළු ක්රියාත්මක වන අඩවිය "සර්වරය එය පරීක්ෂා" සරලව පරීක්ෂක සජීවී වන බව කිව යුතු ය, ඒ නිසා ඔබ අතර වෙනස කියන්න පුළුවන් ඔප්පු කර නැත සහ අපිට අද පරීක්ෂාව කරන්න බැරි වුනා.
| හුදෙකලා කිරීම (ඕනෑම ඉදිරිපත් කිරීමක් ධාවනය කිරීමට පෙර අවශ්ය) | භාවිතයට ඇත |
| Lean 4 + Mathlib (සකස් කළ හැකි එකම මෙවලම ∎) | භාවිතයට ඇත |
| SageMath | භාවිතයට ඇත |
| PARI/GP | භාවිතයට ඇත |
| Z3 / SMT | භාවිතයට ඇත |
| Python (වැලිබෝක්කු) | භාවිතයට ඇත |
| සටහන් (matplotlib) | භාවිතයට ඇත |
| OEIS සෙවුම (වෙන කෙනෙකුගේ සේවාදායකය, ඒ නිසා හොඳම උත්සාහය) | භාවිතයට ඇත |