Formalising Fairness in the Assignment Problem with Ordinal Preferences in Isabelle/HOL. - Duc Minh Do; Christine Rizkallah (CICM, 2025)