Explore projects

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

forthel (variant) in GF

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