3 ms·Show HN: A knowledge graph of 15,941 math states – proof as path-finding4 points by ansuman441 4mo agoansuman441 4mo ago[flagged]