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 xvilka on Sunday August 18, 2019 @11:34PM (#20734679)
Shouldn't it be written with Coq instead? Like UniMath[1] for example?

[1] https://github.com/UniMath

[ Parent | on HN ]
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 ]