« first day (884 days earlier)
← previous day
last day (7 days later) »
Martin Sleziak
5:36 PM
in 2024 Proof Assistants Stack Exchange Moderator Election Chat,
18 hours ago
, by
Feeds
This room has been
automatically deleted for inactivity
^ So the election fever is now over, I guess.
« first day (884 days earlier)
← previous day
last day (7 days later) »
all rooms
Transcript for
Apr
24
Apr
27
May
4
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 © 2024 Stack Exchange Inc;
legal
mobile
Proof Assistants
Proof Assistants