PhoX (Q603143)
Jump to navigation
Jump to search
proof assistant based on high order logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | PhoX |
proof assistant based on high order logic |
Statements
Identifiers
Sitelinks
Wikipedia(3 entries)
- enwiki PhoX
- eswiki PhoX
- frwiki PhoX (logiciel)