▲ 5 pointsThe Unreasonable Effectiveness of Property Testing for Validating Formal Specsproofsandintuitions.netby _doctor_love·1d ago·0 comments·view on hn ↗