News for hackers. Stuff that matters.

A comment on Fields Medal was never meant for ‘the greatest mathematical genius' (2018). Parent comment

Re:Fields Medal was never meant for ‘the greatest mathematic... by throwaway5752 on Monday July 18, 2022 @11:40AM (#32139608)
I had read up on HoTT/UF after Voevodsky passed away. It seemed promising, has it developed much? It seemed like coq / UniMath had a reasonable community.
[ Parent | on HN ]

There are no comments on this comment yet.