Κατάσταση ελέγχου
Επίτηδες, ένα site του οποίου η όλη απαίτηση είναι "ο διακομιστής το ελέγχει" θα πρέπει να πει ξεκάθαρα ποια ντάμα είναι ζωντανά, ώστε να μπορείτε να πείτε τη διαφορά μεταξύ δεν έχει αποδειχθεί και Δεν μπορούσαμε να τρέξουμε τον παρελθοντικό σήμερα..
| Απομόνωση (απαιτείται πριν από οποιαδήποτε υποβολή) | διαθέσιμα |
| Lean 4 + Mathlib (το μόνο εργαλείο που μπορεί να ρυθμίσει ∎) | διαθέσιμα |
| SageMath | διαθέσιμα |
| PARI/GP | διαθέσιμα |
| Z3 / SMT | διαθέσιμα |
| Python (με άμμο) | διαθέσιμα |
| Πλακάκια (matplotlib) | διαθέσιμα |
| Αναζήτηση OEIS (Οπότε, η καλύτερη προσπάθεια.) | διαθέσιμα |