Petra
A new way to code reliably
30 followers
A new way to code reliably
30 followers
Petra enables scalable formal software verification (object-oriented) through training and professional developer tools.
Payment Required
Launch Team
Intercom — Startups get 90% off Intercom + 1 year of Fin AI Agent free
Startups get 90% off Intercom + 1 year of Fin AI Agent free
Promoted
Be the first to comment