Towards Verified Linear Algebra Programs Through Equivalence

Recommended citation: Yihan Yang, Mohit Tekriwal, John Sarracino, Matthew Sottile, Ignacio Laguna. 2025. Towards Verified Linear Algebra Programs Through Equivalence accepted at Coq for Programming Languages (CoqPL) in POPL2025 https://popl25.sigplan.org/details/CoqPL-2025-papers/3/Towards-Verified-Linear-Algebra-Programs-Through-Equivalence
Paper | Slides