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, I'd love to hear from you at lakesare@gmail.com.