Hacker News Reader

I would love to know how that Coq stuff works, but I guess it’s way over my intellect.

A good place to start with Coq is Software Foundations: https://softwarefoundations.cis.upenn.edu/