A case study in machine-assisted proofs: The Integers form an Integral Domain (1993)

by Gustavo Betarte
Citations:5 - 0 self