The (Jekyll generated part) of the kwarc website
Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.
We archive KI-Projekts of the KWARC group here.
Proposal (draft) for a COST action dedicated to mathematical data
Demo of the Grammatical Logical Framework for a paper submitted to lfmtp 2019.
a new EU EOSC proposal
resources for the TAs and instructors of the AI courses.
The MMT blue notes
We try to enrich SMGloM with syntactic information that will allow us to parse with GF.