«В Pi² нам все равно, какой язык программирования вы используете. Нам важно, есть ли у него формальная семантика. Вот как доказывается истинность чего-либо».

@RosuGrigore рассказывает об этом на @commonwarexyz с @_patrickogrady ↓