מצב בודק
אתר שכל הטענה שלו היא "השרת בודק את זה" אמור לומר בפשטות איזה דמקה היא בשידור חי, לא הוכח ו לא יכולנו לנהל את המרצה היום..
| בידוד (נדרש לפני כל ריצות כניעה) | זמין |
| Lean 4 + Mathlib (הכלי היחיד שיכול להגדיר ∎) | זמין |
| SageMath | זמין |
| PARI/GP | זמין |
| Z3 / SMT | זמין |
| Python (ארגז חול) | זמין |
| & עלילה (matplotlib) | זמין |
| OEIS Lookup (שרת של מישהו אחר, אז המאמץ הטוב ביותר) | זמין |