Hacker News new | ask | show | jobs
by pclowes 331 days ago
I would lean towards types and property testing here using tools like Coq.
1 comments
aljgz 331 days ago
Can you elaborate?
link