Probability Theory Highlights Major theorems Theorem Location PVS Name Contributors Contributors David Lester, Manchester University, UK César Muñoz, NASA, USA Sam Owre, SRI, USA Mariano Moscato, NIA & NASA, USA Maintainer César Muñoz, NASA, USA Dependencies
