A Formal Proof of Dickson's Lemma in ACL2.

Francisco-Jess Martn-Mateos, Jos-Antonio Alonso, Mara-Jos Hidalgo, Jos-Luis Ruiz-Reina

Browse the full LPAR paper archive.