Layoff
Show HN: A knowledge graph of 15,941 math states – proof as path-finding
ansuman441·86d ago·ansumandas441.github.io·4 points
Original Post · ansumandas441.github.io
mathematical discovery engine
Open embedded source →
https://ansumandas441.github.io/mathematical-discovery-engine/