« first day (21 days earlier)      last day (43 days later) » 

Huỳnh Trần Khanh
Huỳnh Trần Khanh
15:50
just let it freeze. we already have leanprover.zulipchat.com anyway, and if this room freezes then it probably isn't of use to the community anyway
user
user
16:08
:(

« first day (21 days earlier)      last day (43 days later) »