GLF (Grammatical Logical Framework) is a framework for developing natural-language semantics systems. It combines the Grammatical Framework and MMT to support the full pipeline from natural-language parsing to semantics construction and logic development.
GLF Mini is intended as a small GLF version that can be used in a Jupyter kernel.
You can find a GLF demo here and a paper about GLF here.
TODO
Note that GFL Mini has only been tested on UNIX systems.