C

Core

Core formalizations of (elementary) mathematics in MMT