Polyscope.lean
A port of polyscope to Lean4, to allow interactive visualisation of geometric quantities such as meshes, and scalar and vector fields on meshes.
Powered by ProofWidgets4
A polyscope (https://polyscope.run/) like interface for Lean, built on Proofwidgets4
TypeScriptApache-2.0
A port of polyscope to Lean4, to allow interactive visualisation of geometric quantities such as meshes, and scalar and vector fields on meshes.
Powered by ProofWidgets4