Share Facebook LinkedIn Bluesky Threads Copy url News RSS News Search Sort from the newest to the oldest from the newest to the oldest from the oldest to the newest by relevance 1 news Filters Publication date Publication date From To Categories Categories Public lectures (1) Chairs Chairs Search a professor or a chair Thierry Coquand (2024 - today) Areas Areas Mathematics and computer sciences (1) Active filters Thierry Coquand (2024 - today) Sort from the newest to the oldest from the newest to the oldest from the oldest to the newest by relevance Sticky news Building mathematical proofs Thierry Coquand, chair Computer Sciences and Digital Technologies Published on 10 February 2025
Sticky news Building mathematical proofs Thierry Coquand, chair Computer Sciences and Digital Technologies Published on 10 February 2025
