Browsing: Proof Machines