Stats for PhysLean

Number of Files 📄: 400

Number of lines 💻: 116248

Number of Definitions (incl. instances): 2376

- Of which 2079 have doc-strings:

- Of which 2343 are not informal definitions:

Number of Lemmas: 6098

- Of which 943 have doc-strings:

- Of which 6057 are not informal lemmas:

Number of TODOs: 66

- There are 358 (of 400) files which are TODO free: