Show HN: A knowledge graph of 15,941 math states – proof as path-finding ansumandas441.github.io 4 points by ansuman441 1 week ago