The problems for the lecture Logic Based Language Processing at FAU
The course materials for the Lecture Logic Based Language Processing at FAU
GLForTheL is the result of a case study into the suitability of GLF (now GLIF) for the development of controlled mathematical languages.
Specifically, we tried to re-implement ForTheL, the language of SAD.
Examples for Grammatical Logical Framework (GLF)
The materials of the LBS course held in WS 2019/20.
The MMT repository for the LBS course in WS 2018/19