Tech News

in-the-news

← Back to News

Layoff

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

ansuman441·3h ago·ansumandas441.github.io·2 points

Original Post · ansumandas441.github.io

mathematical discovery engine

View original →

2

comments on HN

Start a discussion on slip

Share your thoughts and let others comment