The formal verification of the Stacks Project, one of the largest bodies of mathematics ever written by humans, has been announced by the $1.6 billion startup AxiomMath.
register or log in to get more services such as weather report, extended news articles and web search