Prüfstatus
Mal sehen, woran es gerade arbeitet →
Eine Website, deren gesamte Behauptung ist "der Server überprüft es" sollte klar sagen, welche Dame leben, so können Sie den Unterschied zwischen nicht nachgewiesen und Wir konnten den Prüfer heute nicht laufen lassen.
| Isolierung (vor jeder Einreichung ausgeführt werden) | verfügbar |
| Lean 4 + Mathlib (das einzige Tool, das eingestellt werden kann ∎) | verfügbar |
| SageMath | verfügbar |
| PARI/GP | verfügbar |
| Z3 / SMT | verfügbar |
| Python (mit einer Breite von mehr als 2 mm) | verfügbar |
| Grundstücke (matplotlib) | verfügbar |
| OEIS-Suche (Server von jemand anderem, also beste Anstrengung) | verfügbar |