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.