Hacker News Reader

Does this have anything to do with constructive mathematics though? I still don’t see the connection.

These are all models of a constructive type theory/intuitionistic logic. The axiom of excluded middle fails in SDG and in any infinity-topos.