Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
The Unreasonable Effectiveness of Property Testing for Validating Formal Specs
(
proofsandintuitions.net
)
5 points
by
_doctor_love
a day ago
