Dale A. Miller

Treating Congruences as Equalities Within Proofs

This paper provides a setting in which congruences can be treated as actual equalities, mirroring the informal practice of mathematicians and eliminating the need to use the lemmas typically required for formal congruence proofs.