चेकर स्थिति
सार्वजनिक उद्देश्य पर. एक साइट जिसका पूरा दावा "वोम" है, जो साफ- साफ कहनी चाहिए कि चेकर्स कौन सी होती है, ताकि आप अंतर बता सकें नहीं और आज हम बिजली नहीं चला सकते थे.
| गति (किसी भी जमा करने के पहले आवश्यक) | उपलब्ध |
| Lean 4 + Mathlib (सिर्फ वही औज़ार जो नियत कर सकते हैं ∎) | उपलब्ध |
| SageMath | उपलब्ध |
| PARI/GP | उपलब्ध |
| Z3 / SMT | उपलब्ध |
| Python (सेंडेड) | उपलब्ध |
| प्लाट (matplotlib) | उपलब्ध |
| ओकमानित (किसी और के सर्वर, तो सबसे अच्छा प्रयास) | उपलब्ध |