Pendant des années, j'ai compté (beaucoup) sur @AndrewLewisPye pour transformer des pensées sous la douche et des articles de blog en spécifications et preuves cohérentes. Je suis ravi d'avoir son soutien et sa supervision alors que nous concevons de nouveaux mécanismes pour la bibliothèque @commonwarexyz.