/metamath-eclipse-xtext

An Eclipse plugin for Metamath .mm files, based on Xtext

Primary LanguageObjective-C++Eclipse Public License 1.0EPL-1.0

No issues in this repository yet.