The distribution of size of files (measured in lines of code).
File | # lines | # units |
---|---|---|
adequacy.v in theories |
615 | - |
examples.v in theories |
308 | - |
interp.v in theories |
277 | - |
modality.v in theories |
134 | - |
lang.v in theories |
84 | - |
heap.v in theories |
54 | - |
File | # lines | # units |
---|---|---|
There are 0 files with lines longer than 120 characters. In total, there are 0 long lines.
File | # lines | # units | # long lines |
---|---|---|---|