@@ -19,6 +19,9 @@ The project will be to implement these in state of the art
meta-linguistic/logical/computational frameworks developed at the [KWARG
group]{https://kwarc.info).
##### Organization
The project will start in the third week of classes (so that the LBS course can cover some of the material this project wants to implement) with an admin meeting. Details will be announced.
**Requirements:** There are no formal requirements, but we strongly recommend
that you either have taken the LBS course or will take it in parallel. Furthermore, we
