In 2013, three dozens of today’s brightest minds have just laid out new foundation of mathematics after a year of collective effort. This new paradigm better fits both informal and computatio…