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

Loading