The course materials for the Lecture Logic Based Language Processing at FAU
The problems for the lecture Logic Based Language Processing at FAU
The materials of the LBS course held in WS 2019/20.
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 MMT repository for the LBS course in WS 2018/19