Explore projects

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

JavaScript client for Sally

Related Work for FrameIT

This project provides the communication schema and implementations for Java and Python.