A New Export of the Mizar Mathematical Library
Colin Rothgang, Artur Korniłowicz, Florian Rabe
Topics & Concepts
Computer scienceProgramming languagePrime (order theory)Software engineeringMathematicsCombinatoricsMathematics, Computing, and Information ProcessingHistory and Theory of MathematicsLogic, programming, and type systems