Překlad Mizaru pro dokazovače v logice 1. řádu

Abstrakt

Překlad z Mizaru, systému kontroly důkazů, do netypované syntaxe 1. řádu je popsán a rozebrán.

Klíčová slova

• Translating
• Mizar
• first
• order
• theorem
• provers