The paper I presented at the UNILOG conference on 9 April 2022 is now available on arXiv: What makes a demonstration worthy of the name? What makes a demonstration worthy of the name?Télécharger
By continuing to browse this site, you accept the use of cookies to store your preferences, compile statistics and display third-party content (for example, YouTube videos).