Published June 21, 2024
| Version v1
Computational notebook
Open
Extending the Lean user interface with widgets (a tutorial)
Files
24jun_bonn_him.zip
Files
(8.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:d259d4c5c207039792228ba1087b1845
|
8.3 kB | Preview Download |