Giters

bollu / polyscope.lean

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About

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

License:Apache License 2.0

Languages

Language:TypeScript 73.2%Language:Lean 20.2%Language:JavaScript 4.8%Language:TeX 1.3%Language:Nix 0.3%Language:ASL 0.2%