Stats for PhysLean

Number of Files 📄: 385

Number of lines 💻: 108479

Number of Definitions (incl. instances): 2274

- Of which 2006 have doc-strings:

- Of which 2241 are not informal definitions:

Number of Lemmas: 5717

- Of which 919 have doc-strings:

- Of which 5668 are not informal lemmas:

Number of TODOs: 61

- There are 339 (of 385) files which are TODO free: