Mnehmos/BHFormalization is 115 source files holding 138 symbols across 3 modules, written mainly in lean, json, python. The largest module is BHFormalization, with 94 files.
Files that tend to change together in the same commit. A temporal hint for hidden relationships, not a verified code dependency.
