Omega-MKRP

swMATH29673MaRDI QIDQ41387FDOQ41387

Author name not available (Why is that?)

Cited In (5)

• Presenting machine-found proofs
• Knowledge-based proof planning
• Ωmega: Towards a mathematical assistant
• Presenting inequations in mathematical proofs
• Reconstructing proofs at the assertion level

This page was built for software: Omega-MKRP