Twelf (Q7666857)
Jump to navigation
Jump to search
implementation of the logical framework LF
Language | Label | Description | Also known as |
---|---|---|---|
English | Twelf |
implementation of the logical framework LF |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Twelf