Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Updated
-
This project provides the communication schema and implementations for Java and Python.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
A single repository with all* Coq packages repositories from https://gl.mathhub.info/Coq as submodule
*See README for exceptions
Updated -
Updated
-
Updated
-
-
-
-
Updated
-
-
Updated
-
We try to enrich SMGloM with syntactic information that will allow us to parse with GF.
Updated -
Updated
-
Demo of the Grammatical Logical Framework for a paper submitted to lfmtp 2019.
Updated