Formalising Half of a Graduate Textbook on Number Theory (Short Paper).

Manuel Eberl, Anthony Bordg, Lawrence C. Paulson, Wenda Li

Browse the full ITP paper archive.