I haven't stopped anything, but my time is finite, and I have a dissertation to finish. I'm pretty active on the Lean Zulip chat ( https://leanprover.zulipchat.com/) if you want to say hi or show support for metamath, since right now I'm the token representative.
Mario On Thu, Sep 3, 2020 at 11:36 AM 'fl' via Metamath <[email protected]> wrote: > > No, I'm not proposing a translation to or from lean. >> > > Why did you stop working for the Lean team by the way? > > -- > FL > > -- > 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/dbe9dbee-4317-4ca2-ac27-9740c8e9ed74n%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/dbe9dbee-4317-4ca2-ac27-9740c8e9ed74n%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 on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJStDCLSz2BXoPsz7AVy6wX24YbY3L%3DyaEgtcD6YMesjSHg%40mail.gmail.com.
