ಪರೀಕ್ಷಕ ಸ್ಥಿತಿ
ಅದು ಈಗ ಯಾವ ಕೆಲಸವನ್ನು ಮಾಡುತ್ತಿದೆ ಎಂದು ನೋಡಿ →
ಸೈಟ್ ಸಂಪೂರ್ಣ ಪ್ರತಿನಿಧಿಯ "ಸಾರ್ವಜನಕ" ಎಂದು ಪ್ರತಿಪಾದಿಸುವ ತಾಣವು, ಯಾವ ಚುಕ್ಕಿಗಳು ಬದುಕಿವೆ ಎಂದು ಸ್ಪಷ್ಟವಾಗಿ ಹೇಳಬೇಕು, ಆದ್ದರಿಂದ ನೀವು ನಡುವೆ ವ್ಯತ್ಯಾಸವನ್ನು ತಿಳಿಸಬಹುದು ಹೊಂದಿಸಲಾಗಿಲ್ಲ ಹಾಗು ಇಂದು ನಾವು ಡೀಸರ್ ಚಲಾಯಿಸಲು ಸಾಧ್ಯವಾಗಲಿಲ್ಲ.
| ಅಡಚಣೆ (ಯಾವುದೆ ಅಧೀನತೆಯಲ್ಲಿಡುವ ಮೊದಲು ಅಗತ್ಯವಿರುತ್ತದೆ) | ಲಭ್ಯವಿರುವ |
| Lean 4 + Mathlib (ಸಿದ್ದಪಡಿಸಬಹುದಾದ ಏಕಮಾತ್ರ ಉಪಕರಣ ∎) | ಲಭ್ಯವಿರುವ |
| SageMath | ಲಭ್ಯವಿರುವ |
| PARI/GP | ಲಭ್ಯವಿರುವ |
| Z3 / SMT | ಲಭ್ಯವಿರುವ |
| Python (ಮರಳಿನ ಚೌಕ) | ಲಭ್ಯವಿರುವ |
| ಪ್ಲಾಟ್ಗಳು (matplotlib) | ಲಭ್ಯವಿರುವ |
| OEIS ಹುಡುಕಾಟQuery (ಬೇರೊಬ್ಬರ ಸರ್ವರ್, ಅತಿ ಉತ್ತಮ ಪ್ರಯತ್ನ) | ಲಭ್ಯವಿರುವ |