DOI,IST REx ID,Research Group,Title of publication
10.46298/afm.14253,22607,"VlKo,GradSch",Duality theory in linear optimization and its extensions -- formally verified