Mizar system (Q1609529)
Jump to navigation
Jump to search
proof assistant
Language | Label | Description | Also known as |
---|---|---|---|
English | Mizar system |
proof assistant |
Statements
Identifiers
Sitelinks
Wikipedia(7 entries)
- dewiki Mizar-System
- enwiki Mizar system
- frwiki Mizar (système)
- hewiki מערכת מיזאר
- itwiki Sistema Mizar
- jawiki Mizar
- plwiki System Mizar
Wikibooks(1 entry)
- jawikibooks Mizar