L

LFX

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.

Project ID: 215
Name
Last commit
Last update
META-INF Loading commit data...
bin/info/kwarc/mmt/LFX Loading commit data...
content/http..gl.mathhub.info/MMT/LFX Loading commit data...
errors/mmt-omdoc Loading commit data...
narration Loading commit data...
relational Loading commit data...
scala Loading commit data...
source Loading commit data...
.gitignore Loading commit data...