If you think the programming tools are the hard point, I have a proof assistant ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

microcolonel on May 30, 2017 | parent | context | favorite | on: Why do so few people major in computer science?

If you think the programming tools are the hard point, I have a proof assistant and program extractor to show you.

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