FormalizedFormalLogic/Arithmetization
code:cloc
cloc --by_file .
44 text files.
43 unique files.
1 file ignored.
github.com/AlDanial/cloc v 1.98 T=0.05 s (806.5 files/s, 342999.6 lines/s)
----------------------------------------------------------------------------------------------
File blank comment code
----------------------------------------------------------------------------------------------
./ISigmaOne/Metamath/Formula/Basic.lean 240 161 1277
./ISigmaOne/HFS/Vec.lean 333 45 759
./ISigmaOne/Metamath/Proof/Derivation.lean 170 26 742
./ISigmaOne/Metamath/Formula/Functions.lean 228 32 730
./ISigmaOne/Metamath/Term/Basic.lean 220 13 698
./Definability/Boldface.lean 206 0 669
./ISigmaZero/Exponential/Exp.lean 119 0 650
./Basic/IOpen.lean 212 3 598
./ISigmaOne/Metamath/Term/Functions.lean 203 0 562
./OmegaOne/Nuon.lean 125 8 562
./ISigmaOne/Metamath/Coding.lean 178 6 511
./ISigmaOne/HFS/Seq.lean 127 6 453
./ISigmaOne/HFS/Basic.lean 188 12 440
./ISigmaOne/Bit.lean 159 9 426
./ISigmaZero/Exponential/Log.lean 128 1 364
./Definability/BoundedBoldface.lean 113 1 338
./ISigmaZero/Exponential/Pow2.lean 78 1 333
./ISigmaOne/Metamath/Proof/Typed.lean 126 4 309
./Definability/Hierarchy.lean 148 8 285
./ISigmaOne/Metamath/Formula/Typed.lean 137 27 275
./ISigmaZero/Exponential/PPow2.lean 58 0 259
./ISigmaOne/Metamath/Formula/Iteration.lean 92 0 233
./Basic/Ind.lean 56 0 216
./ISigmaOne/HFS/Fixpoint.lean 65 3 206
./Vorspiel/Lemmata.lean 88 1 204
./ISigmaOne/Metamath/Term/Typed.lean 125 48 202
./Vorspiel/Vorspiel.lean 102 0 199
./Basic/PeanoMinus.lean 82 1 190
./ISigmaOne/Metamath/Language.lean 84 2 159
./ISigmaOne/HFS/PRF.lean 48 3 158
./Definability/Absoluteness.lean 23 0 88
./OmegaOne/Basic.lean 41 1 86
./ISigmaOne/Metamath/CodedTheory.lean 31 0 72
./ISigmaOne/Ind.lean 12 3 65
./ISigmaOne/Metamath/Proof/Thy.lean 20 0 25
./ISigmaOne/HFS/Coding.lean 14 0 24
./Vorspiel/ExistsUnique.lean 8 0 20
./Vorspiel/Graph.lean 18 0 19
./Vorspiel/Pair.lean 5 1 17
./ISigmaOne/Metamath.lean 3 0 12
./ISigmaOne/HFS.lean 0 0 6
./ISigmaZero/Exponential.lean 0 0 4
./Definability/Init.lean 1 0 2
----------------------------------------------------------------------------------------------
SUM: 4414 426 13447
----------------------------------------------------------------------------------------------