Mnehmos/mathcorpus architecture