/polyscope.lean

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

Primary LanguageTypeScriptApache License 2.0Apache-2.0

Polyscope.lean

splash

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