How does it do the proving? | Hacker News

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

		fuzztester 16 days ago \| parent \| context \| favorite \| on: The Om Programming Language How does it do the proving?

fcatalan 16 days ago [–]

Spawns and calls z3 under the hood, I did let it cheat there because otherwise it's rabbit holes below rabbit holes all the way down :)

fuzztester 16 days ago | [–]

thanks.

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