Seit Jahren verlasse ich mich (stark) auf @AndrewLewisPye, um Duschgedanken und Blogbeiträge in kohärente Spezifikationen und Beweise zu verwandeln. Ich freue mich, seine Unterstützung und Aufsicht zu haben, während wir neue Mechanismen für die @commonwarexyz Bibliothek entwerfen.