« first day (891 days earlier)
← previous day
user 70432
2:00 PM
Proofs in mathematics
►
« first day (891 days earlier)
← previous day
all rooms
Transcript for
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