Deploying to gh-pages from @ 03d1bf4 🚀

install.html

@@ -187,10 +187,10 @@ <h1 id="quick-installation-guide"><a class="header" href="#quick-installation-gu
 <pre><code>curl -L https://foundry.paradigm.xyz | bash
 </code></pre>
 <p>Next, you need to have either <a href="https://github.com/Z3Prover/z3">Z3</a> or
-<a href="https://cvc5.github.io/">CVC5</a> installed. Often, these can be installed via:</p>
+<a href="https://cvc5.github.io/">cvc5</a> installed. Often, these can be installed via:</p>
 <pre><code>$ sudo apt-get install z3
 </code></pre>
-<p>or similar. If you installed CVC5 instead, you will need to pass the flag
+<p>or similar. If you installed cvc5 instead, you will need to pass the flag
 "--solver cvc5" to "hevm test" later.</p>
 <p>Finally, download the static hevm binary from <a href="https://github.com/ethereum/hevm/releases/">the github
 repository</a> for your platform and
@@ -210,7 +210,7 @@ <h1 id="how-to-check-if-it-works"><a class="header" href="#how-to-check-if-it-wo
 [RUNNING] prove_pass(address,uint256)
    [PASS] prove_pass(address,uint256)
 </code></pre>
-<p>See <a href="./ds-test-tutorial.html">ds-test Tutorial</a> for details.</p>
+<p>See <a href="./ds-test-tutorial.html">ds-test tutorial</a> for details.</p>
 <p>Note that Foundry provides the solidity compiler, hence there is no need to
 install solidity separately.</p>
 

print.html

@@ -314,10 +314,10 @@ <h2 id="history"><a class="header" href="#history">History</a></h2>
 <pre><code>curl -L https://foundry.paradigm.xyz | bash
 </code></pre>
 <p>Next, you need to have either <a href="https://github.com/Z3Prover/z3">Z3</a> or
-<a href="https://cvc5.github.io/">CVC5</a> installed. Often, these can be installed via:</p>
+<a href="https://cvc5.github.io/">cvc5</a> installed. Often, these can be installed via:</p>
 <pre><code>$ sudo apt-get install z3
 </code></pre>
-<p>or similar. If you installed CVC5 instead, you will need to pass the flag
+<p>or similar. If you installed cvc5 instead, you will need to pass the flag
 "--solver cvc5" to "hevm test" later.</p>
 <p>Finally, download the static hevm binary from <a href="https://github.com/ethereum/hevm/releases/">the github
 repository</a> for your platform and
@@ -337,7 +337,7 @@ <h1 id="how-to-check-if-it-works"><a class="header" href="#how-to-check-if-it-wo
 [RUNNING] prove_pass(address,uint256)
    [PASS] prove_pass(address,uint256)
 </code></pre>
-<p>See <a href="./ds-test-tutorial.html">ds-test Tutorial</a> for details.</p>
+<p>See <a href="./ds-test-tutorial.html">ds-test tutorial</a> for details.</p>
 <p>Note that Foundry provides the solidity compiler, hence there is no need to
 install solidity separately.</p>
 <div style="break-before: page; page-break-before: always;"></div><h1 id="when-to-use-symbolic-execution"><a class="header" href="#when-to-use-symbolic-execution">When to use Symbolic Execution</a></h1>