Explore projects

Demo of the Grammatical Logical Framework for a paper submitted to lfmtp 2019.

forthel (variant) in GF

a new EU EOSC proposal

resources for the TAs and instructors of the AI courses.

The (Jekyll generated part) of the kwarc website

The MMT blue notes

We try to enrich SMGloM with syntactic information that will allow us to parse with GF.

Moved to https://github.com/MathHubInfo/MoSIS_Jupyter_Kernel

Preparation for a Special Interest Group for Maths Linguistics (SIGMathLing)

The (Jekyll generated part) of the kwarc website

An attempt at a new KWARC web site based on the one from OpenDreamKit

Competition between python TicTacToe AIs