Skip to content
This repository has been archived by the owner on Sep 19, 2024. It is now read-only.

RD AD --- Integrity Protection title too narrow #409

Closed
mcr opened this issue May 4, 2022 · 2 comments · Fixed by #412
Closed

RD AD --- Integrity Protection title too narrow #409

mcr opened this issue May 4, 2022 · 2 comments · Fixed by #412

Comments

@mcr
Copy link
Collaborator

mcr commented May 4, 2022

> The section title of "Integrity Protection" seems narrow given the
> content of this section.
@mcr
Copy link
Collaborator Author

mcr commented May 10, 2022

@mcr
Copy link
Collaborator Author

mcr commented May 10, 2022

Peter brings up Integrity of the Integrity system --- there are additional leaps of faith (lemmas), which we need to believe to the integral. Many which we can not go into in this document.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant