Goeland

swMATH43904MaRDI QIDQ1350213FDOQ1350213

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-031-10769-6_22

Source code repository: https://github.com/GoelandProver/Goeland

Described by source

• \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)

Cited In (4)

• PARTHEO
• HOT
• URSA
• EUCLID

This page was built for software: Goeland