GitHub repository: ocatmetamath/mmj2
Primary language: Java
Description: mmj2 GUI Proof Assistant for the Metamath project