« first day (140 days earlier)
← previous day
Feeds
00:01
This room has been
automatically frozen for inactivity
« first day (140 days earlier)
← previous day
all rooms
Transcript for
Aug
4
Aug '18
19
Lean
Lean theorem prover:
leanprover.github.io
TIO:
tio.run/#lean
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
