You can find it on MathComp’s wiki, here is a link to the guide.
Home » NewsI wrote a how-to guide on connecting user-developed theories with MathComp ones, using the Hierarchy Builder.July 24, 2024You can find it on MathComp’s wiki, here is a link to the guide.