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.
