FormalizedFormalLogic/Incompleteness

code:cloc

cloc --by-file .

11 text files.

11 unique files.

0 files ignored.

github.com/AlDanial/cloc v 1.98 T=0.01 s (788.4 files/s, 175231.5 lines/s)

-------------------------------------------------------------------------------------------

File blank comment code

-------------------------------------------------------------------------------------------

./Arith/Theory.lean 97 124 491

./Arith/D1.lean 76 1 307

./DC/Basic.lean 117 3 247

./Arith/FormalizedArithmetic.lean 73 10 229

./Arith/Second.lean 71 2 194

./Arith/D3.lean 32 5 154

./ProvabilityLogic/Basic.lean 23 2 56

./Arith/First.lean 7 1 41

./ToFoundation/Basic.lean 22 0 27

./Arith/DC.lean 11 0 21

./ProvabilityLogic/ProvabilityLogic.lean 0 0 1

-------------------------------------------------------------------------------------------

SUM: 529 148 1768

-------------------------------------------------------------------------------------------