| Extension | Files (%) | Lines (%) | Lines/file |
|---|---|---|---|
| 3 (0.35%) | 220 (0.08%) | 73 | |
| bib | 1 (0.12%) | 233 (0.09%) | 233 |
| json | 1 (0.12%) | 11 (0.00%) | 11 |
| lean | 815 (94.11%) | 258786 (97.24%) | 317 |
| md | 31 (3.58%) | 3213 (1.21%) | 103 |
| png | 2 (0.23%) | 208 (0.08%) | 104 |
| py | 1 (0.12%) | 9 (0.00%) | 9 |
| sh | 6 (0.69%) | 166 (0.06%) | 27 |
| toml | 2 (0.23%) | 13 (0.00%) | 6 |
| txt | 1 (0.12%) | 3199 (1.20%) | 3199 |
| yml | 3 (0.35%) | 274 (0.10%) | 91 |