.mm Metamath File .txt RunParms File cmd window mmj2 Proof Asst mmj2 PA GUI mmp Proof Worksheet Click objects for information: mmj2 Overview Diagram