Stats for Physlib

Number of Files 📄: 410

Number of lines 💻: 120777

Number of Definitions (incl. instances): 2315

- Of which 1993 have doc-strings:

- Of which 2282 are not informal definitions:

Number of Lemmas: 6441

- Of which 1114 have doc-strings:

- Of which 6400 are not informal lemmas:

Number of TODOs: 67

- There are 366 (of 410) files which are TODO free: