Unsolvability of the Quintic Formalized in Dependent Type Theory.

Sophie Bernard, Cyril Cohen, Assia Mahboubi, Pierre-Yves Strub

Browse the full ITP paper archive.