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.
-
Michael Kohlhase authored1e6b5b0f
| Name |
Last commit
|
Last update |
|---|---|---|
| META-INF | ||
| bin/info/kwarc/mmt/LFX | ||
| content/http..gl.mathhub.info/MMT/LFX | ||
| errors/mmt-omdoc | ||
| narration | ||
| relational | ||
| scala | ||
| source | ||
| .gitignore |