A Computer Formalisation of the Serre Finiteness Theorem.

Reid Barton, Axel Ljungstrm, Owen Milner, Anders Mrtberg

Browse the full LICS paper archive.