Insofar there are no objections, could someone with permissions merge the pull request <https://github.com/metamath/metamath-website-seed/pull/29>?
David A. Wheeler schrieb am Mittwoch, 26. Februar 2025 um 16:32:59 UTC+1: > > > > On Feb 26, 2025, at 5:57 AM, [email protected] < > [email protected]> wrote: > > > > As previously announced, I created some big improvements for our proof > minimization challenges. > > Fantastic! Thanks for working on this! > > --- 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 [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/285ea5ac-15e0-491b-8a98-5736d9f1108dn%40googlegroups.com.
