▲ 3 pointsSpotting Specification Gaps with Small Proof-Oriented Testsrisemsr.github.ioby matt_d·3mo ago·0 comments·view on hn ↗