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

Tutorial on CoQ, a proof assistant

https://news.ycombinator.com/item?id=21185624






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

Search: