Best Products
Launches
Launch archive
Most-loved launches by the community
Launch Guide
Checklists and pro tips for launching
News
Newsletter
The best of Product Hunt, every day
Stories
Tech news, interviews, and tips from makers
Changelog
New Product Hunt features and releases
Forums
Forums
Ask questions, find support, and connect
Streaks
The most active community members
Events
Meet others online and in-person
Advertise
Subscribe
Sign in
Petra
A new way to code reliably
30 followers
A new way to code reliably
30 followers
Visit website
Petra enables scalable formal software verification (object-oriented) through training and professional developer tools.
Overview
Launches
1
Reviews
Team
More
Petra makers
Here are the founders, developers, designers and product people who worked on Petra
Aran Hakki
Pioneer of the Petra programming method.
Petra
Follow
Subscribe
Sign in
