« first day (12 days earlier)
← previous day
next day →
last day (52 days later) »
Huỳnh Trần Khanh
11:32
hmm this room is p inactive.
another helpful learning resource
5 hours later…
Huỳnh Trần Khanh
16:49
oh dear. my challenge hasn't received any answers
this is incredibly sad
if you're working on a proof and you're stuck on something, please ping me and I'll try my best to help. thanks
« first day (12 days earlier)
← previous day
next day →
last day (52 days later) »
all rooms
Transcript for
Oct
14
Oct '21
15
Oct
16
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