mmj2 GUI Proof Assistant for the Metamath project - View it on GitHub