Explore projects
-
Updated
-
-
Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.
Updated -
Updated
-
Updated
-
-
Updated
-
Updated
-
Updated
-
-
Updated
-
Demo of the Grammatical Logical Framework for a paper submitted to lfmtp 2019.
Updated -
-
-
-
Updated
-
Updated
-
-
We try to enrich SMGloM with syntactic information that will allow us to parse with GF.
Updated