 "Mmj2" has also the possibility to enter the proof forward or backward (Metamath only allows to enter proof backward).Moreover "Mmj2" has a real grammar parser (unlike Metamath).This technical difference brings more comfort to the user.