Stats for PhysLean

Number of Files 📄: 390

Number of lines 💻: 111536

Number of Definitions (incl. instances): 2298

- Of which 2022 have doc-strings:

- Of which 2265 are not informal definitions:

Number of Lemmas: 5907

- Of which 917 have doc-strings:

- Of which 5860 are not informal lemmas:

Number of TODOs: 61

- There are 349 (of 390) files which are TODO free: