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

Advent of Code 2018, in Coq (github.com/lysxia) 149 points by szemet on Feb 18, 2019 | past | 43 comments

Consider applying for YC's W25 batch! Applications are open till Nov 12. Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: