ALF (Q4652336)
Jump to navigation
Jump to search
structure editor for monomorphic Martin-Löf type theory
Language | Label | Description | Also known as |
---|---|---|---|
English | ALF |
structure editor for monomorphic Martin-Löf type theory |
Statements
Sitelinks
Wikipedia(1 entry)
- enwiki ALF (proof assistant)