nLab Assia Mahboubi

website

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)

Talks

Assia Mahboubi, Continuity in dependent type theory, Homotopy Type Theory Electronic Seminar Talks, 31 March 2022 (slides)

category: people

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