LeanKG
Query LeanKG knowledge graph for code understanding. Use when exploring a codebase, finding functions, tracing dependencies, or calculating impact radius.
Changelog: Source: GitHub https://github.com/FreePeak/LeanKG
Query LeanKG knowledge graph for code understanding. Use when exploring a codebase, finding functions, tracing dependencies, or calculating impact radius.
Changelog: Source: GitHub https://github.com/FreePeak/LeanKG
Loading comments...