SIDO - OSXP 2021

FA

François Armand

Rudder

CTO

This speaker will talk about

Find here the list of all the sessions presented by this speaker in order not to miss any of it.

3:20 PM CET - 3:40 PM CET

An allegory for the success of open science applied to maths - the HoTT project

Open science, an old idea that has resurfaced as an obvious choice…. Even though its benefits are still not evident. 4 years after the death of Vladimir Voevodsky, I...

François Armand

Loading