Path	Lines of Code
CODE_OF_CONDUCT.md	4
CONTRIBUTING.md	38
README.md	81
template-for-proof/README.md	10
template-for-proof/cbmc-viewer.json	6
template-for-repository/include/README.md	5
template-for-repository/negative_tests/README.md	10
template-for-repository/proofs/README.md	21
template-for-repository/sources/README.md	5
template-for-repository/stubs/README.md	5
training-material/CODING-FOR-VERIFICATION.md	31
training-material/DEBUG-CBMC.md	149
training-material/FAQ.md	185
training-material/PLANNING.md	50
training-material/PROOF-WRITING.md	348
training-material/README.md	15
training-material/checklist.md	105