Stats for PhysLean

Number of Files 📄: 314

Number of lines 💻: 75814

Number of Definitions (incl. instances): 1781

- Of which 1699 have doc-strings:

- Of which 1754 are not informal definitions:

Number of Lemmas: 4315

- Of which 748 have doc-strings:

- Of which 4281 are not informal lemmas:

Number of TODOs: 56

- There are 271 (of 314) files which are TODO free: