A knowledge graph of 15,941 math states – proof as path-finding
Show HN: A knowledge graph of 15,941 math states – proof as path-finding
A knowledge graph of 15,941 math states – proof as path-finding is a business in show hn launch.
Its activity falls under show hn launch; the profile below is assembled from public directory data.
It is recorded at the Show HN launch stage.
| Sector | Show HN launch |
|---|---|
| Stage | Show HN launch |
Website: ansumandas441.github.io/mathematical-discovery-engine
Browse related
Full contact details are available to registered Pixilab members.
Create a free account
Create a free account