diff --git a/contracts/governance/README.adoc b/contracts/governance/README.adoc index 0901a5521da..0f397ce2d69 100644 --- a/contracts/governance/README.adoc +++ b/contracts/governance/README.adoc @@ -7,7 +7,7 @@ This directory includes primitives for on-chain governance. == Governor -This modular system of Governor contracts allows the deployment on-chain voting protocols similar to https://compound.finance/docs/governance[Compound's Governor Alpha & Bravo] and beyond, through the ability to easily customize multiple aspects of the protocol. +This modular system of Governor contracts allows the deployment of on-chain voting protocols similar to https://compound.finance/docs/governance[Compound's Governor Alpha & Bravo] and beyond, through the ability to easily customize multiple aspects of the protocol. [TIP] ==== diff --git a/fv/README.md b/fv/README.md index fe582fe39f9..1353e91d35c 100644 --- a/fv/README.md +++ b/fv/README.md @@ -9,7 +9,7 @@ Documentation for CVT and the specification language is available [here](https:/ Follow the [Certora installation guide](https://docs.certora.com/en/latest/docs/user-guide/getting-started/install.html) in order to get the Certora Prover Package and the `solc` executable folder in your path. > **Note** -> An API Key is required for local testing. Although the prover will run on a GitHub Actions' CI environment on selected Pull Requests. +> An API Key is required for local testing. Although the prover will run in a GitHub Actions CI environment on selected Pull Requests. ## Running the verification