Stats for PhysLean

Number of Files 📄: 392

Number of lines 💻: 112215

Number of Definitions (incl. instances): 2313

- Of which 2037 have doc-strings:

- Of which 2280 are not informal definitions:

Number of Lemmas: 5924

- Of which 922 have doc-strings:

- Of which 5877 are not informal lemmas:

Number of TODOs: 68

- There are 351 (of 392) files which are TODO free: