Mizar (system dowodzenia twierdzeń) (Q110250)
Jump to navigation
Jump to search
No description defined
- System Mizar
Language | Label | Description | Also known as |
---|---|---|---|
English | Mizar (system dowodzenia twierdzeń) |
No description defined |
|
Statements
Letho of Gulet
0 references