« first day (31 days earlier)
← previous day
next day →
last day (33 days later) »
Fmbalbuena
12:02
Unfreeze lol
« first day (31 days earlier)
← previous day
next day →
last day (33 days later) »
all rooms
Transcript for
Oct
24
Nov '21
3
Nov
4
The Lean-to
A room for discussing Lean the Language of the Month for Octob...
join this room
about this room
00:00
06:00
12:00
18:00
all times are UTC
site design / logo © 2025 Stack Exchange Inc;
legal
mobile
