> https://github.com/xamidi/pmGenerator/discussions/2#discussioncomment-11797219
It's a nice contribution using metamath-exe<https://github.com/metamath/metamath-exe>! And it will apparently stay #1<https://github.com/xamidi/pmGenerator/discussions/2#hall-of-fame> a little longer — post-processing my results with many theorems is taking several weeks longer (and is more productive) than I expected. ________________________________ Von: [email protected] <[email protected]> im Auftrag von Gino Giotto <[email protected]> Gesendet: Freitag, 10. Januar 2025 20:31:53 An: Metamath Betreff: Re: [Metamath] Re: Upcoming contributions to proof minimization challenges For those who may be interested, the proposed shortenings have now been applied, along with an explanation of how I manually derived the one for L1 https://github.com/xamidi/pmGenerator/discussions/2#discussioncomment-11797219. -- 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]<mailto:[email protected]>. To view this discussion visit https://groups.google.com/d/msgid/metamath/3d838cf6-f322-4344-8e6b-a241d710b501n%40googlegroups.com<https://groups.google.com/d/msgid/metamath/3d838cf6-f322-4344-8e6b-a241d710b501n%40googlegroups.com?utm_medium=email&utm_source=footer>. -- 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/d32767e8058e4914b463885147ec1081%40rwth-aachen.de.
