fixed links

Author: cmungall

index.html

@@ -120,16 +120,20 @@ <h3>Python Syntax</h3>
             </div>
             <div class="feature">
                 <h3>Strong Typing</h3>
-                <p>Benefit from mypy validation and catch errors early</p>
+                <p>Benefit from <a href="https://py-typedlogic.github.io/py-typedlogic/tutorial/01-first-program/#type-checking">mypy validation</a> and catch errors early</p>
             </div>
             <div class="feature">
               <h3>Integrations</h3>
               <p>Integration
               with <a href="https://py-typedlogic.github.io/py-typedlogic/integrations/solvers/souffle/">datalog
               engines</a>, <a href="https://py-typedlogic.github.io/py-typedlogic/integrations/solvers/clingo/">answer-set
               programming</a>, <a href="https://py-typedlogic.github.io/py-typedlogic/integrations/solvers/z3/">theorem
-                  provers</a>,  <a href="https://py-typedlogic.github.io/py-typedlogic/integrations/frameworks/owldl/owldl-tutorial/">OWL-DL</a>,
-                and <a href="https://py-typedlogic.github.io/py-typedlogic/tutorial/03-probabilistic-logic/">Probablistic Logic</a>
+                  provers</a>,  <a href="https://py-typedlogic.github.io/py-typedlogic/integrations/frameworks/owldl/">OWL-DL</a>,
+                <a href="https://py-typedlogic.github.io/py-typedlogic/tutorial/03-probabilistic-logic/">Probablistic
+                  Logic</a>,
+                and                 <a href="https://py-typedlogic.github.io/py-typedlogic/integrations/solvers/llm/">Large
+                  Language Models</a>
+
               </p>
             </div>
         </div>