Goeland

MaRDI QIDQ1350213swMATHFDO

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