-
Unilog 2022 – What makes a demonstration worthy of the name?, now on arXiv
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?
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?