“En Pi², no nos importa qué lenguaje de programación uses. Nos importa si tiene semántica formal. Así es como se demuestra que algo es verdad.”

@RosuGrigore lo explica en @commonwarexyz con @_patrickogrady ↓