Seol mar théacs é seo: Making Presentation Math Computable