Hacker News new | ask | show | jobs
Show HN: A knowledge graph of 15,941 math states – proof as path-finding (ansumandas441.github.io)
4 points by ansuman441 45 days ago