theoremprover-museum

MaRDI QIDQ31430swMATHFDO

Official website https://theoremprover-museum.github.io/

Cited in

(4)

• Abstract Soundness
• Incompleteness Theorems
• Formalization of the resolution calculus for first-order logic
• Translating the IMPS theory library to MMT/OMDoc

This page was built for software: theoremprover-museum