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/78bbce5f-41d1-946e-5dc8-30f9da2af891%40gmx.net. -- 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/2EF7E712-E796-4EC7-B49D-96182635036F%40panix.com.
