docs: explain app proofs and boot proofs#669

emostov wants to merge 1 commit into

maintkhq/docs:mainfrom

docs/app-and-boot-proofstkhq/docs:docs/app-and-boot-proofsCopy head branch name to clipboard