nLab Cyril Cohen

• webpage

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)

related $n$Lab entries

• cubical type theory