Stats for PhysLean

Number of Files 📄: 364

Number of lines 💻: 96772

Number of Definitions (incl. instances): 2136

- Of which 1943 have doc-strings:

- Of which 2108 are not informal definitions:

Number of Lemmas: 5291

- Of which 881 have doc-strings:

- Of which 5260 are not informal lemmas:

Number of TODOs: 71

- There are 310 (of 364) files which are TODO free: