https://github.com/yetanotherco/lambda_vm/blob/update_readme/docs/cryptography/proof_system.md mentions subsections that does not have a link to corresponding Markdown files because those existing files are empty at the moment. We should complete those and add the corresponding links.
https://github.com/yetanotherco/lambda_vm/blob/update_readme/docs/cryptography/proof_system.md mentions subsections that does not have a link to corresponding Markdown files because those existing files are empty at the moment. We should complete those and add the corresponding links.