Skip to content

GitLab

Explore

Sign in

G

glf-demo-lfmtp2019

Project information

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

18 Commits
1 Branch
0 Tags

README
GNU General Public License v3.0 or later

Created on

April 15, 2019

Copy SSH clone URLgit@gl.kwarc.info:COMMA/glf-demo-lfmtp2019.git
Copy HTTPS clone URLhttps://gl.kwarc.info/COMMA/glf-demo-lfmtp2019.git