Explore projects
-
COMMA / glf-demo-lfmtp2019
GNU General Public License v3.0 or laterDemo of the Grammatical Logical Framework for a paper submitted to lfmtp 2019.
Updated -
-
Updated
-
Updated
Demo of the Grammatical Logical Framework for a paper submitted to lfmtp 2019.