Hi, Il 21/01/20 22:24, Olivier Binda ha scritto: > Here is a video, proving that it did > : https://www.youtube.com/watch?v=HuLFpQxwkmU&feature=youtu.be > It shows me a bit stressed (this was my fith attempt, there is always > something going wrong... :) and struggling at the end with html ^^;
Nice video, it seems to be a useful tool for this type of computations. Being able to visually select and manipulate an expression can be convenient to locally edit a formula while at the same time having a global view on the whole of it. Does the vieo have a comment? To me the video is completely mute (I can hear the audio from other YouTube videos, so it doesn't seem to be a problem in my gear). Giovanni. -- Giovanni Mascellani <[email protected]> Postdoc researcher - Université Libre de Bruxelles -- 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/09763daa-9b4d-ce1f-fd9f-979650be2540%40gmail.com.
signature.asc
Description: OpenPGP digital signature
