Spotting Specification Gaps with Small Proof-Oriented Tests

 (risemsr.github.io)

3 points | by matt_d 1 hour ago

0 comments