Anand Rao · @art
18 followers · 80 posts · Server mathstodon.xyz
Generating interactive plots in the #Lean4 infoview using the #JavaScript #Plotly library through the fabulous #ProofWidgets framework (https://github.com/EdAyers/ProofWidgets4).
Source code available at https://github.com/0art0/ProofWidgets4/blob/main/ProofWidgets/Demos/Plotly.lean.
#proofwidgets #plotly #javascript #Lean4
Last updated 2 years ago