Stats for PhysLean

Number of Files 📄: 392

Number of lines 💻: 111810

Number of Definitions (incl. instances): 2309

- Of which 2033 have doc-strings:

- Of which 2276 are not informal definitions:

Number of Lemmas: 5916

- Of which 918 have doc-strings:

- Of which 5869 are not informal lemmas:

Number of TODOs: 68

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