News for hackers. Stuff that matters.

A comment on Why doesn't mathematics collapse, though humans often make mistakes in proofs?. Parent comment

Re:Why doesn't mathematics collapse, though humans often mak... by drchewbacca on Tuesday August 20, 2019 @08:54AM (#20746382)
There are quite a few competing systems at the moment, as with all things software, each one wants to be the standard :)

https://jiggerwit.wordpress.com/2018/04/14/the-architecture-...

[ Parent | on HN ]

There are no comments on this comment yet.