ਹਾਲਤ ਚੈੱਕਰ
ਵੇਖੋ ਕਿ ਇਹ ਹੁਣ ਕੀ ਕਰ ਰਿਹਾ ਹੈ →
ਪਬਲਿਕ ਟੀਚਾ ਹੈ । ਇੱਕ ਸਾਇਟ, ਜਿਸ ਦਾ ਪੂਰਾ ਦਾਅਵਾ ਹੈ "ਸਰਵਰ ਇਹ ਚੈੱਕ ਕਰਦਾ ਹੈ" ਨੂੰ ਸਪੱਸ਼ਟ ਤੌਰ ਉੱਤੇ ਦੱਸਣਾ ਚਾਹੀਦਾ ਹੈ ਕਿ ਕਿਹੜੇ ਚੈੱਕਰ ਲਾਈਵ ਹਨ, ਤਾਂ ਕਿ ਤੁਸੀਂ ਦੋਵਾਂ ਵਿੱਚ ਅੰਤਰ ਦੱਸ ਸਕੋ । ਨਹੀਂ ਪੜਤਾਲਿਆ ਅਤੇ ਅਸੀਂ ਅੱਜ ਪਰੀਵਰਟਰ ਚਲਾ ਨਹੀਂ ਸਕੇ.
| ਇਕਸਾਰਤਾ (ਕੋਈ ਵੀ ਸਬਮਿਸ਼ਨ ਚਲਾਉਣ ਤੋਂ ਪਹਿਲਾਂ ਲੋੜੀਦਾ ਹੈ) | ਉਪਲੱਬਧ |
| Lean 4 + Mathlib (ਇੱਕਲੱਤਾ ਟੂਲ, ਜੋ ਕਿ ਸੈੱਟ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ ∎) | ਉਪਲੱਬਧ |
| SageMath | ਉਪਲੱਬਧ |
| PARI/GP | ਉਪਲੱਬਧ |
| Z3 / SMT | ਉਪਲੱਬਧ |
| Python (ਸੇਂਡਬਾਕਸ) | ਉਪਲੱਬਧ |
| ਪਲੋਟ (matplotlib) | ਉਪਲੱਬਧ |
| OEIS ਖੋਜ (ਕਿਸੇ ਹੋਰ ਦਾ ਸਰਵਰ, ਇਸ ਲਈ ਸਭ ਤੋਂ ਵਧੀਆ ਕੋਸ਼ਿਸ) | ਉਪਲੱਬਧ |