News for hackers. Stuff that matters.

A comment on Advent of Code 2018, in Coq. Parent comment

Re:Advent of Code 2018, in Coq by quickthrower2 on Monday February 18, 2019 @08:12PM (#19195937)
I’m referring to production code being good enough rather than the tooling.

Let’s take HN for example. Is it coq proven? I doubt it. Is that a barrier to its success?

[ Parent | on HN ]

There are no comments on this comment yet.