Aleph von @logic_int ist so gut, dass es sowohl Platz 1 bei Putnam belegt hat als auch 15 Fehler im Benchmark gefunden hat🔥 Außerdem ein Dankeschön an George für die Offenlegung!