Formalizing galois theory (1993)

by Gilles Barthe