Pi Squared

0 followers


We are building Pi Squared, a universal proof system solution to efficiently and correctly verify the execution of any program in any programming or virtual machine (VM) language.

Org chart

Grigore Rosu

Collapse
Patrick MacKay
Co-founder

Teams

This company has no teams yet

Offices