Moved to https://github.com/MathHubInfo/MoSIS_Jupyter_Kernel
Demo of the Grammatical Logical Framework for a paper submitted to lfmtp 2019.
forthel (variant) in GF