Paperproof

This site covers Paperproof, a proof tree interface for Lean 4.

PS
Everything in this blog is written by Evgenia.
If you have any questions or comments, write me at lakesare@gmail.com.