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

Implement #htmlIO to load HTML fragments from IO code

bollu opened this issue · comments

commented

https://gist.github.com/Vtec234/7ecf31b2a67341558692e60a2f870853

This is useful to load models from the file and render them.