MKRP

MaRDI QIDQ31431swMATHFDO

Official website https://github.com/theoremprover-museum/MKRP

Source code repository https://github.com/theoremprover-museum/MKRP

Cited in

(4)

• Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday.
• KEIM
• Mechanizing Mathematical Reasoning
• Using tactics to reformulate formulae for resolution theorem proving

This page was built for software: MKRP