> On Dec 6, 2020, at 9:18 AM, 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 <https://youtu.be/BsEyW3vBcsE> > I hope you find it interesting! > This was my first take, pardon the hesitations and my terrible accent! ;-) >
I thought this video was great! I didn’t have any trouble understanding you. I think you should make it public & create links to it!! --- David A. Wheeler -- 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/65B39A3F-E5D2-431A-9328-5B512C51DB01%40dwheeler.com.
