A polyscope (https://polyscope.run/) like interface for Lean, built on Proofwidgets4
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool