在 Pi²，我们不在乎你使用什么编程语言。我们关心它是否具有形式语义。这就是你证明某件事是真实的方式。@RosuGrigore 在 @commonwarexyz 上与 @_patrickogrady 一起进行了详细分析 ↓
