სტატუსის შემოწმება
გთზ ნა კაკგჲ პაბჲრთ რჲგა ჟვდა. →
ჟაირ, კჲირჲ ოპვეჟრაგლწგა, ფვ "ჟვპგყპყრ დჲ ოპჲგვპწგა", რპწბგა ეა ჱნავ კჲთრჲ ოპჲგვპწგარვლთ ჟა ნა ჟგჲბჲეა, რაკა ფვ ეა ჟვ პაჱლთფაგა ჟპვღს ჟთრვ ჟყღჲრჲ თმვ. არ არის დადასტურებული და ნვ მჲზვმ ეა თჱგყპქთმ ოპჲგვპკარჲპა ევნვჟ.
| იზოლაცია (საჭიროა ნებისმიერი გაგზავნის წინ) | ხელმისაწვდომია |
| Lean 4 + Mathlib (ერთადერთი ინსტრუმენტი, რომელიც ∎) | ხელმისაწვდომია |
| SageMath | ხელმისაწვდომია |
| PARI/GP | ხელმისაწვდომია |
| Z3 / SMT | ხელმისაწვდომია |
| Python (წყლის ყუთი) | ხელმისაწვდომია |
| დიალოგი (matplotlib) | ხელმისაწვდომია |
| OEIS ძიება (ნვკჲ£ ეპსდ ჟვპგვპ, რაკა ევკა ჟვ ჲოთრგამვ ნა£ეჲბპჲ) | ხელმისაწვდომია |