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.