Under linux and java 11 , it worked for me. Tried a couple of weeks ago, the latest mmj2 version on github; it took me a while to get it to work. I didn't use it to write "actual" proofs, but unification worked as expected.
Did you solve the " RunParmFile not found or Security Exception" error ? Glauco -- 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/50cd2fd6-f700-4abe-8d2d-9f04f4ef2e26n%40googlegroups.com.
