Explore projects
-
Updated
-
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
-
-
FrameIT Paper for CICM16
Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller
Updated -
Updated
-
-
-
Updated
-
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated