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