I asked the LLM whether my program was correct and it answered: you're absolutel... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

vdupras 4 months ago | parent | context | favorite | on: A Very Small SAT Solver (From Haskell) Now in Dafn...

I asked the LLM whether my program was correct and it answered: you're absolutely right!

namin 4 months ago [–]

Ha. At least you can check the theorem statements and see that the proofs verify :)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact