MizarMode - asistant pro psani dukazu v formalnim matematickem systemu Mizar

Abstrakt

Clanek popisuje MizarMode - prostredi pro psani clanku v jazyce Mizar.

Klíčová slova

• MizarMode
• integrated
• proof
• assistance
• Mizar
• formalizing
• mathematics