New top story on Hacker News: Advent of Code 2018, in Coq Posted By: Rushan Skywalker 12:09 AM Leave a Reply Advent of Code 2018, in Coq 119 by szemet | 25 comments on Hacker News. Tweet Share Share Share Share
0 comments: