Congrats! \o/ -stan
On Fri, Apr 17, 2020 at 6:24 AM Jim Kingdon <[email protected]> wrote: > > 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. -- 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/CACZd_0yDaCNLW5ZU-sdARdqZ-Vt8jLO-GWoQ63fUkn9_Zrtd5w%40mail.gmail.com.
