Goeland

swMATH43904MaRDI QIDQ1350213FDOQ1350213

Author name not available (Why is that?)

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

Described by source

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

This page was built for software: Goeland