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.
