science4all.org
Univalent Foundations of Mathematics
In an effort to make mathematics more computable, a consortium of today’s greatest mathematicians have laid out new foundations. Amazingly, they all lie upon one single axiom, called univalen…