This site covers Paperproof, a proof tree interface for Lean 4.
PSEverything in this blog is written by Evgenia.If you have any questions or comments, I'd love to hear from you at lakesare@gmail.com.