The Lean-to

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

1189d ago – user

612

info

This room is frozen.

Owners

These users may administer this room. Certain actions (like making a room read-only) have additional reputation requirements.