I hope you'll be able to set up mmj2 (I've also been having some problems with making it run recently; it's essentially abandonware), but you could try an online proof assistant metamath-lamp in the meantime: https://github.com/expln/metamath-lamp It runs in your browser, and there are also several guides and videos on how to use it.
-- 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 visit https://groups.google.com/d/msgid/metamath/7adc3812-975d-4a8b-9275-b88322452345n%40googlegroups.com.
