Explore projects
-
The course materials for the Lecture Logic Based Language Processing at FAU
Updated -
-
Updated
-
The problems for the lecture Logic Based Language Processing at FAU
Updated -
Updated
-
-
Updated
-
Updated
-
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.
Updated -
-
-
-
-
scucoco / math
Apache License 2.0Updated