News for hackers. Stuff that matters.

A comment on How Math’s Most Famous Proof Nearly Broke (2015). Parent comment

Re:How Math’s Most Famous Proof Nearly Broke (2015) by mehrdadn on Friday December 21, 2018 @07:19AM (#18732895)
I know Coq exists but that's about it https://coq.inria.fr/
[ Parent | on HN ]

There are no comments on this comment yet.