Hacker News new | ask | show | jobs
SMT based verification in Haskell (leventerkok.github.io)
2 points by ayberkt 3868 days ago