SciLeanExamples SciLean examples mainly running through widgets To build: lake build pushd lean_packages/widgetKit/widget; npm i; cd ..; lake build widgets; lake build; popd lake build