Mnehmos/mathcorpus is 990 source files holding 208 symbols across 13 modules, written mainly in json, lean, markdown. The largest module is packets, with 517 files.
Files that tend to change together in the same commit. A temporal hint for hidden relationships, not a verified code dependency.
