« first day (1861 days earlier)
← previous day
next day →
last day (2047 days later) »
Martin Sleziak
3:42 PM
@MartinSleziak Glorfindel created both
tag-excerpt
and
tag-wiki
for
lean-theorem-prover
.
I have deleted my two comments related to the tag-info - they are no longer needed. (And they are also archived here in chat.)
« first day (1861 days earlier)
← previous day
next day →
last day (2047 days later) »
all rooms
Transcript for
Sep
25
Sep '18
26
Sep
27
MO editors' lounge
Talk related to editing, tagging and related matters for the s...
1
editing
tagging
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