nLab Sophie Bernard

Redirected from "Quillen model structure on topological spaces".

Publications

Publications

Sophie Bernard, Cyril Cohen, Assia Mahboubi, Pierre-Yves Strub, Unsolvability of the Quintic Formalized in Dependent Type Theory, ITP 2021 - 12th International Conference on Interactive Theorem Proving, Jun 2021, Rome / Virtual, France (hal:hal-03136002)

category: people

Created on October 8, 2022 at 18:12:16. See the history of this page for a list of all contributions to it.