Ovidiu Damian - Bringing all the programming languages to Ethereum with Formal Semantics

Sun, Nov 2, 2025, 12:00 AM

Pi Squared brings the power of formal semantics to web3, allowing developers to write code in any programming language they want without compromises like hard forks, interruptions or slowing down executions.