2 posts tagged by Digg
AI
Axiom calls the formalization complete and computer-verified, describing original work of about 15,000 pages.
AI
