Mechanized proof