Skip to content
Snippets Groups Projects
Commit e884a48d authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

typo

parent 21a58247
No related branches found
No related tags found
No related merge requests found
......@@ -26,6 +26,6 @@ A language model is a triple of
The course resources (course notes, literature, assignments) can be found
[here](http://kwarc.info/teaching/ComSem).
Having heard the course ["Computational Logic](http://kwarc.info/teaching/CompLog) is very
Having heard the course ["Computational Logic](http://kwarc.info/teaching/CompLog)" is very
helpful, but not a prerequisite.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment