Complex sentence: What makes metamath so generic is its checking algorithm, this algorithm makes very few assumptions about the used logic and only checks the substitutions of variables are correctly done.
Split into simpler sentences: What makes metamath so generic is its checking algorithm. This algorithm makes very few assumptions about the used logic and only checks the substitutions of variables are correctly done.