Matrices Highlights Major theorems Theorem Location PVS Name Contributors Contributors Anthony Narkwicz, formerly NASA, USA César Muñoz, NASA, USA Sam Owre, SRI, USA Mariano Moscato, NIA & NASA, USA Maintainer César Muñoz, NASA, USA Dependencies
