commit: fdc64def1b7322450e4704db47cb754b3246431d

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Wed Feb 14 08:58:36 2024 +1100
committer: GitHub <noreply@github.com>

Tue Feb 13 21:58:36 2024 +0000
tree: 00b4cb43f7a9c692301065a365d67669fec23dfc
parent: 644d4263f13f68fb34b95d91713b9a9a6b487297 [diff]

feat: upstream 'Try this:' widgets (#3266)

There is a test file in Std that should later be reunited with this
code.

---------

Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>

3 files changed

tree: 00b4cb43f7a9c692301065a365d67669fec23dfc

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.