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
Anima Playground — AI with an Eye for Design
AI with an Eye for Design
Promoted
Be the first to comment