It would be nice if there was a UI that showed the user's recently visited or viewed proofs.
Created by Tim Chung
·