rakaarwaky/lean-arwaky is 2,710 source files holding 50,295 symbols across 29 modules, written mainly in rust, markdown, python. The largest module is lean-ctx/rust, with 2,005 files, and 54 files are entry points into the dependency graph.