Stats for PhysLean

Number of Files 📄: 360

Number of lines 💻: 86350

Number of Definitions (incl. instances): 2075

- Of which 1917 have doc-strings:

- Of which 2048 are not informal definitions:

Number of Lemmas: 4908

- Of which 819 have doc-strings:

- Of which 4875 are not informal lemmas:

Number of TODOs: 64

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