Thanks Jon, I've installed mmj2 and went through the tutorials. Will take a look at [0] next :+1:
[0] http://us.metamath.org/mpegif/mmtheorems289.html#mm28844b On Fri, Feb 28, 2020 at 12:19 AM Jon P <[email protected]> wrote: > > Hi Stanislas, > > Getting into metamath can be quite hard so keep asking for help if you need > it, more people is always nice! > > Not sure how far you have got but I suggest you get MMJ2 proof editor and > then work on these problems in Filip's mathbox. Try not looking at the proofs > and the producing a proof by yourself. That is a good way to start with the > actual mechanics I think. > > http://us.metamath.org/mpegif/mmtheorems289.html#mm28844b > > Here are some tutorials for MMJ2, > https://www.youtube.com/watch?v=87mnU1ckbI0&list=PL1jSu6GGefBm7RBP0Id2Sa9uyVuyhioAC > > and it can be found here, http://us.metamath.org/#mmj2 > > -- > 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/c1a31f2b-4135-45f0-b5e8-6211252593d7%40googlegroups.com. -- 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/CACZd_0wFbYLpWQKLuwb39_NLoJPUjyw-sBWHgUd8MjQdOhgyNg%40mail.gmail.com.
