FormalizedFormalLogic/Foundation
2024/11/01
code:cloc
cloc --by-file .
114 text files.
114 unique files.
0 files ignored.
github.com/AlDanial/cloc v 1.98 T=0.08 s (1417.2 files/s, 343825.6 lines/s)
----------------------------------------------------------------------------------------------------
File blank comment code
----------------------------------------------------------------------------------------------------
SUM: 6989 914 19755
2025/?
code:cloc
cloc --by-file .
269 text files.
269 unique files.
0 files ignored.
----------------------------------------------------------------------------------------------------
File blank comment code
----------------------------------------------------------------------------------------------------
SUM: 14100 1797 41837
2025/06/12
code:cloc
cloc --by-file .
311 text files.
311 unique files.
0 files ignored.
github.com/AlDanial/cloc v 1.98 T=0.21 s (1494.4 files/s, 328518.4 lines/s)
-----------------------------------------------------------------------------------------------------
File blank comment code
-----------------------------------------------------------------------------------------------------
SUM: 16040 2313 50015
2025/10/26
code:cloc
cloc --by-file .
427 text files.
427 unique files.
0 files ignored.
github.com/AlDanial/cloc v 1.98 T=0.26 s (1641.7 files/s, 332791.1 lines/s)
-------------------------------------------------------------------------------------------------------
File blank comment code
-------------------------------------------------------------------------------------------------------
./FirstOrder/Internal/Syntax/Formula/Basic.lean 228 74 1192
./FirstOrder/Internal/Syntax/Formula/Functions.lean 255 38 992
./Logic/HilbertStyle/Supplemental.lean 245 15 982
-------------------------------------------------------------------------------------------------------
SUM: 19620 1714 65225
-------------------------------------------------------------------------------------------------------
2026/2/14
code:cloc
cloc --by-file .
580 text files.
580 unique files.
0 files ignored.
github.com/AlDanial/cloc v 1.98 T=0.49 s (1183.1 files/s, 213552.8 lines/s)-
-------------------------------------------------------------------------------------------------------
File blank comment code
-------------------------------------------------------------------------------------------------------
./FirstOrder/Bootstrapping/Syntax/Formula/Basic.lean 228 74 1193
./Propositional/Entailment/Minimal/Basic.lean 451 10 1043
./FirstOrder/Bootstrapping/Syntax/Formula/Functions.lean 255 38 993
-------------------------------------------------------------------------------------------------------
SUM: 24130 2123 78440
-------------------------------------------------------------------------------------------------------