Stats for PhysLean

Number of Files 📄: 262

Number of lines 💻: 63521

Number of Definitions (incl. instances): 1584

- Of which 1534 have doc-strings:

- Of which 1557 are not informal definitions:

Number of Lemmas: 3694

- Of which 666 have doc-strings:

- Of which 3662 are not informal lemmas:

Number of TODOs: 53

- There are 222 (of 262) files which are TODO free: