Mnehmos/openai-proof-formalization.website is 4 source files holding 0 symbols across 1 module, written mainly in json, html, javascript. The largest module is .github, with 1 file, and 2 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.
