Download PDFOpen PDF in browserCurrent versionQuasi Morphisms for Almost Full RelationsEasyChair Preprint no. 13175, version 13 pages•Date: May 3, 2024AbstractIn Coq, we mechanize two morphisms for transferring the Almost Full property between relations. Keyphrases: Almost Full relations, constructive well quasi ordering, Coq, Mechanization, morphisms
|