This paper examines the views of proof held by university level mathematics students and teachers. A framework is developed for characterizing people's views of proof, based on a distinction between public and private aspects of proof and the key ideas which link these two domains.