state: more readable doc for attestation processing#226

tcoratger merged 1 commit intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:process-attestations-doctcoratger/leanSpec:process-attestations-docCopy head branch name to clipboard