ProCom

swMATH21329MaRDI QIDQ33137FDOQ33137

Author name not available (Why is that?)

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

Cited In (1)

• Connection calculus theorem proving with multiple built-in theories

This page was built for software: ProCom