Yeah I think this is really cool, there are a lot of nice features there, almost everything you pointed out I said "oh yeah that's sp helpful!"
Also your accent is really classy, love it. On Sunday, December 6, 2020 at 5:39:37 PM UTC [email protected] wrote: > Very nice. Gives a good feel for what EMetamath can do. And the accent was > very understandable, at least to my ears, so no worries about that. > > > On December 6, 2020 6:18:27 AM PST, Thierry Arnoux <[email protected]> > wrote: >> >> Hi all, >> >> Since there were recently discussions about the features one would wish >> of a proof assistant GUI for Metamath, I've recorded a (long overdue) video >> showing the features I've implemented over time in the EMetamath plugin >> for Eclipse <http://emetamath.tirix.org/>: >> >> https://youtu.be/BsEyW3vBcsE >> >> I hope you find it interesting! >> This was my first take, pardon the hesitations and my terrible accent! ;-) >> _ >> Thierry >> >> >> -- 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/82e5a2d7-23ee-4642-baae-b18a026c7995n%40googlegroups.com.
