Skip to content

GitLab

Explore

Sign in

L

LFX

Project information

Metalogical frameworks that extend LF - the Edinburgh Logical Framework. These provide common features - e.g. record types, subtyping, or flexary functions - of logical languages at the meta-level for inheritance in LFX-specified logics.

227 Commits
4 Branches
0 Tags

Created on

April 14, 2016

Loading