On 01/12/2024 06:49, savask wrote:
Programmers have a nice tradition of solving a small puzzle or coding
task on each day of advent. This year I suggest a new challenge, a set
of 16 small problems about magmas:
https://gist.github.com/savask/f7a3b46663aa16e5dd48f8bfaba3e3e5
That's awesome, thanks for organizing this!
I'll post my progress here:
https://github.com/tirix/christmas24.mm
--
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 [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/metamath/59ebea0d-da97-445f-8aab-07d35fbb9547%40gmx.net.
