1
Show HN: A knowledge graph of 15,941 math states – proof as path-finding
15,941个数学状态的图谱，把证明变成路径查找，开源新玩法。
Article URL: https://ansumandas441.github.io/mathematical-discovery-engine/ Comments URL: https://news.ycombinator.com/item?id=48570110 Points: 1 # Co…