სტატუსის შემოწმება
See what it is working on right now →
Public on purpose. A site whose whole claim is "the server checks it" should say plainly which checkers are live, so you can tell the difference between არ არის დადასტურებული და we could not run the prover today.
| იზოლაცია (საჭიროა ნებისმიერი გაგზავნის წინ) | ხელმისაწვდომია |
| Lean 4 + Mathlib (ერთადერთი ინსტრუმენტი, რომელიც ∎) | ხელმისაწვდომია |
| SageMath | ხელმისაწვდომია |
| PARI/GP | ხელმისაწვდომია |
| Z3 / SMT | ხელმისაწვდომია |
| Python (წყლის ყუთი) | ხელმისაწვდომია |
| დიალოგი (matplotlib) | ხელმისაწვდომია |
| OEIS ძიება (someone else's server, so best effort) | ხელმისაწვდომია |