Ingen varer
Kassen / rediger kurv
Describes the use of computer programs to check several proofs in the foundations of mathematics.