News for hackers. Stuff that matters.

A comment on Mathematicians welcome computer-assisted proof in ‘grand unification’ theory. Parent comment

Re:Mathematicians welcome computer-assisted proof in ‘grand ... by xvilka on Saturday June 19, 2021 @11:21PM (#27566824)
There is also a problem of HoTT and equality reflection incompatibility[1].

[1] https://www2.mathematik.tu-darmstadt.de/~streicher/barc_corr...

[ Parent | on HN ]

There are no comments on this comment yet.