Explore projects

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

forthel (variant) in GF

resources for the TAs and instructors of the AI courses.

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

Competition between python TicTacToe AIs