ÂÜÀòÂÒÂ×

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.

Industries

+2

Headquarters

Employees

Links

Org chart

Grigore Rosu

Collapse
Patrick MacKay
Co-founder
Mircea Octavian Sebe
Software Engineer