Download PDFOpen PDF in browserCurrent versionQuasi Morphisms for Almost Full RelationsEasyChair Preprint 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, Coq, Mechanization, constructive well quasi ordering, morphisms
|