Nice. Congratulations. At least for me, the first proof or two were the hardest.
On 4/16/20 9:05 PM, David Starner wrote:
I've finally managed to prove something in Metamath, so here we go for the simplest of starts, but hopefully a start that will be followed up. https://github.com/Prosfilaes/starner.mm/blob/master/starner.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 on the web visit https://groups.google.com/d/msgid/metamath/b8b7659e-a2e6-8452-582a-f8af49d1c0b1%40panix.com.
