Finding bugs in Haskell code by proving it

Related stories

• Lobsters Interview with Susam
  Lobsters · 86 points · about 1 year ago
• Finding bugs in systems through formalizationandy.hammerhartes.de
  Lobsters · 8 points · over 8 years ago
• Show HN: Critic – Review code with the agent that wrote itcritic.run
  Hacker News · 8 points · 6 days ago
• Finding Bugsmatklad.github.io
  Hacker News · 1 points · 10 days ago
• Finding Bugsmatklad.github.io
  Hacker News · 1 points · 6 days ago
• Finding Bugsmatklad.github.io
  Lobsters · 8 points · about 6 hours ago

Related topics