Explore projects

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

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

forthel (variant) in GF

The main development repository

a new EU EOSC proposal

Deliverable 4.2

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

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

*See README for exceptions

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