Re: [Metamath] Advent of Metamath 2024

['David A. Wheeler' via Metamath]

> On Dec 17, 2024, at 11:14 PM, savask <sav...@yandex.ru> wrote:
> 
> > I guess this is the end. Nice challenge, I enjoyed it.
> 
> Nice, glad you liked it.
> 
> I also agree with Mario that it would be nice to have this in set.mm, in a 
> mathbox or elsewhere.

I agree! I'd love to see this in the shared databases, at least in mathboxes.
As soon as they're ready, I'd really like to see at least some of these promoted
to the "main" section.

--- David A. Wheeler

-- 
You received this message because you are subscribed to the Google Groups 
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to metamath+unsubscr...@googlegroups.com.
To view this discussion visit 
https://groups.google.com/d/msgid/metamath/B717F1B2-70A6-4BD6-9C6F-F38088B51FE2%40dwheeler.com.