stream events

Stream: Natural sciences

[Notification Bot]

Public stream created by Patrick Massot. Description:

Formalization of physics, chemistry, biology...

[Patrick Massot]

@everyone Please note that, after discussion among the maintainers, I just created a new stream specifically dedicated to natural sciences in Lean. I moved the Boyle law discussion.

[Bulhwi Cha]

Patrick Massot Thanks for creating this stream!

[Patrick Massot]

I subscribed people who were active in this discussion but of course everybody should feel free to unsubscribe and, more importantly, review the subscriber list and tell people I forgot that they should subscribe.