Hi, Sounds like you've made some good progress with learning the system. Here is a link to the specific place in the tutorial where David talks about the "!" feature in MMJ2 which is pretty powerful and, I think, can speed up proofs a lot.
https://youtu.be/87mnU1ckbI0?list=PL1jSu6GGefBm7RBP0Id2Sa9uyVuyhioAC&t=2634 For me personally that's the main advantage MMJ2 has. -- 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/2461cfa8-216f-42bf-a8ea-4f15932c755a%40googlegroups.com.
