Comment Comment by cjlooi Currently the dependency graph only works on newtheorems e.g. theorems/lemmas/definitions etchttps://www.sciencestack.ai/docs/dep-graph parent cjlooi 11 months ago
https://www.sciencestack.ai/docs/dep-graph