« first day (104 days earlier)
← previous day
next day →
last day (1027 days later) »
Rob
13:08
We will need to improve across the board:
area51.stackexchange.com/proposals/126242
- it's not bad, but we need to do better.
« first day (104 days earlier)
← previous day
next day →
last day (1027 days later) »
all rooms
Transcript for
Mar
8
Mar '22
9
Mar
11
Proof Assistants
General discussion for
proofassistants.stackexchange.com
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