typo

courses/KRMT.md

 ---
 layout: course
-title: Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen
+title: Logic-Based Representation of Mathematical/Technical Knowledge
 instructors:
     - mkohlhase
 	- frabe
@@ -16,7 +16,7 @@ semesters:
     - SS25 
 ---
 
-Thi course covers the foundations of mathematics, modular formalizations in theory graphs,
+This course covers the foundations of mathematics, modular formalizations in theory graphs,
 narrative structures in informal mathematical/technical documents, and the formalization
 of logical languages in meta-logical frameworks. 
 
@@ -29,8 +29,8 @@ project-like. The contents are split between
 Materials:
 
 * [KRMT on StudOn](https://www.studon.fau.de/crs4499012.html)
-* [Course on zoom](https://fau.zoom.us/j/65839665250)
-* [Videos on FAU.tv](https://www.fau.tv/course/id/3065)
+* [Course on zoom](Https://fau.zoom.us/j/65839665250)
+* [Videos on FAU.tv](Https://www.fau.tv/course/id/3065)
 * [Course Notes, Resources](http://kwarc.info/teaching/KRMT)
 * [Formalization Tutorialz](https://gl.mathhub.info/Tutorials/Mathematicians/blob/master/tutorial/mmt-math-tutorial.pdf)
 * [Formalizations of the last years](https://gl.mathhub.info/Teaching/KRMT/tree/master/source)