At Pi², we don’t care what programming language you use. We care if it has formal semantics. That’s how you prove something is true.

@RosuGrigore breaks it down on @commonwarexyz w/ @_patrickogrady ↓