Duality theory in linear optimization and its extensions -- formally verified
M. Dvorak, V. Kolmogorov, Annals of Formalized Mathematics 2 (2026).