Pierre-marie Pédrot
Pierre-marie Pédrot
Affiliation: INRIA
Talks
(FSCD)
Not choosing is still a choice: Constructive mathematics without any choice · Proof Assistants
Pages in this Program
Program
Program on Thursday, 23 July 2026
FSCD on Thursday, 23 July 2026
FSCD Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑