theoremprover-museum

swMATH19605MaRDI QIDQ31430FDOQ31430

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: theoremprover-museum