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 tunesmith on Friday December 21, 2018 @01:39PM (#18735451)
How does LEAN compare to Coq/Isabelle/Agda?
[ Parent | on HN ]

There are no comments on this comment yet.