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

A single repository with all* Coq packages repositories from https://gl.mathhub.info/Coq as submodule

*See README for exceptions

Proposal (draft) for a COST action dedicated to mathematical data

Deliverable 4.2

a new EU EOSC proposal

The main development repository

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

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