The Lean-to
A room for discussing Lean the Language of the Month for October 2021. https://leanprover-community.github.io/
1189d ago – user
8
export all events for this room
Bookmarked conversations in this room
No conversations have been bookmarked for this room yet. Users with at least 100 reputation
can create a link to a group of messages by bookmarking a new conversation.