Browsing: proof generation