@misc{indiciae11a83428f118,
  title = {A Formal Analysis of Algorithms for Matroids and Greedoids},
  author = {Mohammad Abdulaziz and Thomas Ammer and Shriya Meenakshisundaram and Adem Rimpapa},
  year = {2025},
  url = {https://arxiv.org/abs/2505.19816},
  note = {Source identifier: 2505.19816}
}