Show HN: A knowledge graph of 15,941 math states – proof as path-finding

Posted by ansuman441 8 hours ago