bollu / polyscope.lean

A polyscope (https://polyscope.run/) like interface for Lean, built on Proofwidgets4