Extending the Lean user interface with widgets (a tutorial)

Published June 21, 2024 | Version v1

Computational notebook Open

Files

Name	Size	Download all
24jun_bonn_him.zip md5:d259d4c5c207039792228ba1087b1845	8.3 kB	Preview Download

261

Views

Downloads

Show more details

DOI

Resource type

Computational notebook

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more