「在Pi²，我們不在乎你使用哪種程式語言。我們只在乎它是否具有形式語義。這就是你證明某件事為真的方式。」

@RosuGrigore 在 @commonwarexyz 上與 @_patrickogrady 一起解析 ↓