Typo fixes.

index.html

@@ -114,7 +114,7 @@ <h2>About / Core team:</h2>
       <h2>Documentation<a class="anchorlink" href="#documentation"></a></h2>
 
       <p>
-        The Tamarin user manual is availabe <a href="manual/index.html">here</a>.<br />
+        The Tamarin user manual is available <a href="manual/index.html">here</a>.<br />
         We also have a GitHub repository for other <a href="https://github.com/tamarin-prover/teaching">teaching
           materials</a>, such as tutorials.<br />
         For general information, also see the <a href="https://en.wikipedia.org/wiki/Tamarin_Prover">Wikipedia
@@ -146,7 +146,7 @@ <h4>Papers on Tamarin and its theory</h4>
         <li>JCS 2022 paper <a href="https://hal.archives-ouvertes.fr/hal-03767104" target="_blank">[PDF]</a>: the
           extended journal paper published in the <a
             href="https://www.iospress.nl/journal/journal-of-computer-security/" target="_blank">Journal of Computer
-            Security</a>, about automatic generation of souces lemmas: "Automatic generation of sources lemmas in
+            Security</a>, about automatic generation of sources lemmas: "Automatic generation of sources lemmas in
           TAMARIN: towards automatic proofs of security protocols", by Véronique Cortier, Stéphanie Delaune, Jannik
           Dreier, Elise Klein.</li>
         <li>ESORICS 2020 paper <a href="https://hal.archives-ouvertes.fr/hal-02903620" target="_blank">[PDF]</a>: the
@@ -248,7 +248,7 @@ <h4>Tamarin Extensions</h4>
         <li>"Automated analysis of security protocols with global state" <a
             href="http://hal.inria.fr/docs/00/95/58/69/PDF/sapic.pdf" target="_blank">[PDF]</a>, by Steve Kremer, Robert
           Künnemann, paper presented at <a href="http://www.ieee-security.org/TC/SP2014/" target="_blank">S&amp;P
-            2014</a>, also avaible extended journal version at <a
+            2014</a>, also available extended journal version at <a
             href="https://www.iospress.nl/journal/journal-of-computer-security/" target="_blank">Journal of Computer
             Security</a>: <a href="https://hal.inria.fr/hal-01351388/document" target="_blank">[PDF]</a>.</li>