Live data from Hacker News

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

ansumandas441.github.io

Post reply on HN

Print view View original

1–2 of 2 posts

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

#1

Post by ansuman441 » Wed, Jun 17, 2026, 1:17 PM UTC

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

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

#2

Post by ansuman441 » Wed, Jun 17, 2026, 1:19 PM UTC

[flagged]

Post reply on HN