Hacker News new | ask | show | jobs
by cjlooi 204 days ago
Currently the dependency graph only works on newtheorems e.g. theorems/lemmas/definitions etc

https://www.sciencestack.ai/docs/dep-graph