The problems for the lecture Logic Based Language Processing at FAU
Problems for the IWGS course at FAU
The course materials for the Lecture Logic Based Language Processing at FAU
Repository for the LBS lecture, winter semester 2022/2023
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.
The public repository for the JLogic law formalization course
Examples for Grammatical Logical Framework (GLF)
The materials of the LBS course held in WS 2019/20.
Demos for OpenDreamKit WP6