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

Name
Last commit
Last update
MathHub Loading commit data...
jupyter_grammars Loading commit data...
project Loading commit data...
src/main/scala/info/kwarc/glf Loading commit data...
LICENSE.txt Loading commit data...
README.md Loading commit data...
build.sbt Loading commit data...
convert.py Loading commit data...
demo.zip Loading commit data...
glf.jar Loading commit data...
life_demo.sh Loading commit data...
mmt.jar Loading commit data...
modal_demo.sh Loading commit data...
quantified_demo.sh Loading commit data...
tableau_demo.sh Loading commit data...