Stats for PhysLean

Number of Files 📄: 261

Number of lines 💻: 63131

Number of Definitions (incl. instances): 1564

- Of which 1518 have doc-strings:

- Of which 1537 are not informal definitions:

Number of Lemmas: 3668

- Of which 661 have doc-strings:

- Of which 3636 are not informal lemmas:

Number of TODOs: 53

- There are 221 (of 261) files which are TODO free: