Zulip Chat Archive

Stream: lean4

Topic: 2nd Lean Dev Update Meeting

Leonardo de Moura (Aug 01 2022 at 14:12):

We are planning to have the 2nd Lean Dev Update meeting on 2022-08-11T08:00:00-07:00.
The link for the meeting will be posted here later this week.
Please feel free to post your questions here, and will try our best to answer them during the meeting.

Leonardo de Moura (Aug 04 2022 at 17:41):

Here is the link for the meeting next week.
https://teams.microsoft.com/dl/launcher/launcher.html?url=%2F_%23%2Fl%2Fmeetup-join%2F19%3Ameeting_MjJiY2U3ODQtOTY4ZC00MzQyLTk4YmItYWI3MjA4YzY3ODI0%40thread.v2%2F0%3Fcontext%3D%257b%2522Tid%2522%253a%252272f988bf-86f1-41af-91ab-2d7cd011db47%2522%252c%2522Oid%2522%253a%252255de0542-d78b-4cde-913e-65215a57d62d%2522%257d%26anon%3Dtrue&type=meetup-join&deeplinkId=3e97edab-afd6-48b8-b6c9-07534b1c88bc&directDl=true&msLaunch=true&enableMobilePage=true&suppressPrompt=true

Jad Ghalayini (Aug 08 2022 at 16:53):

Sounds exciting, thanks!

EDIT: wrong thread, but true nonetheless

Leonardo de Moura (Aug 11 2022 at 01:05):

Reminder: dev update meeting tomorrow :)

Leonardo de Moura (Aug 11 2022 at 13:55):

Slides for today's meeting: https://docs.google.com/presentation/d/1YdVJbdZg8JESBzME8lb9NPUNHFInLrpXyAn32EahJBM/edit?usp=sharing
Other relevant links:

Lean Mentee Sign-Up form: https://docs.google.com/forms/d/e/1FAIpQLSfMfNqRTUCLcNPRvU6l4Y86H-mhPCS0AXoMmcjQEyXqw9Mhdg/viewform
ICERM Lean Hackathon videos (many thanks to Rob): https://brown.hosted.panopto.com/Panopto/Pages/Sessions/List.aspx#folderID=%22560ce8fa-8eb7-46e9-9d30-aed70102a92b%22
User widgets: https://leanprover.github.io/lean4/doc/examples/widgets.lean.html
v4.0.0-m5: https://github.com/leanprover/lean4/releases/tag/v4.0.0-m5

Patrick Massot (Aug 11 2022 at 16:03):

Where are the widget examples? In https://github.com/leanprover/lean4-samples I see only the RubiksCube one.

Sebastian Ullrich (Aug 11 2022 at 16:04):

The diagram widget is PR'ed straight to mathlib4: https://github.com/leanprover-community/mathlib4/pull/363

Wojciech Nawrocki (Aug 11 2022 at 16:11):

And finally there are some more prototypes at https://github.com/Vtec234/npm-widget , but as Ed mentioned the intention is to eventually upstream everything from that repository.