"Tại Pi², chúng tôi không quan tâm bạn sử dụng ngôn ngữ lập trình nào. Chúng tôi quan tâm đến việc nó có ngữ nghĩa hình thức hay không. Đó là cách bạn chứng minh một điều gì đó là đúng."

@RosuGrigore phân tích trên @commonwarexyz với @_patrickogrady ↓