Projects · Explore · GitLab

Explore GitLab

Discover projects, groups and snippets. Share your projects with others

F

Dennis Müller / FiFoM

0

Updated Apr 16, 2021

0 0 0 0

Updated Apr 16, 2021
G

COMMA / GLIF Demo IJCAR 2020

0

Updated Apr 16, 2021

0 0 0 0

Updated Apr 16, 2021
G

COMMA / glf-demo-lfmtp2019
Other

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

0

Updated Apr 16, 2021

0 0 0 0

Updated Apr 16, 2021
M

Christian Maeder / mmt-errorView

user interface to present error output

0

Updated Apr 16, 2021

0 0 0 3

Updated Apr 16, 2021