A Formal Analysis of Algorithms for Matroids and Greedoids. - Mohammad Abdulaziz; Thomas Ammer; Shriya Meenakshisundaram; Adem Rimpapa (ITP, 2025)