The Lean-to

A room for discussing Lean the Language of the Month for October 2021. https://leanprover-community.github.io/

first message	2021-10-02
last message	1331 days ago

join this room
view transcript