На протяжении многих лет я полагался (в значительной степени) на @AndrewLewisPye, чтобы превратить мысли под душем и блоги в последовательные спецификации и доказательства. Я в восторге от его поддержки и контроля, пока мы разрабатываем новые механизмы для библиотеки @commonwarexyz.