commit: 965ed02f86bcaf1bcc7ee2e6015ef175d0718501

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Thu Feb 08 10:39:55 2024 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Fri Feb 09 11:57:58 2024 +0100
tree: dfdde794a5991707c2aded4abc49b28105da5007
parent: a7364499d24bc4cb73e71eb9e94b3cd44835698f [diff]

feat: add `[builtin_widget_module]`

src/Lean/Widget/UserWidget.lean[diff]

1 file changed

tree: dfdde794a5991707c2aded4abc49b28105da5007

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.