▲ 1 pointsA real-world case of property-based verificationochagavia.nlby wofo·4mo ago·0 comments·view on hn ↗