Mnehmos/formal-conjectures is 1,048 source files holding 130 symbols across 9 modules, written mainly in lean, markdown, yaml. The largest module is FormalConjectures, with 847 files, and 5 files are entry points into the dependency graph.
Files that tend to change together in the same commit. A temporal hint for hidden relationships, not a verified code dependency.
