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
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.