Open Source Prover in the Attic.

Zoltán Kovács Alexander Vujic

Published in: CoRR (2024)

Keyphrases

open source
open source software
source code
theorem proving
theorem prover
open source projects
case study
data mining
software package
cooperative
automated theorem proving
expert systems
lower bound
data structure
multi agent
website
social networks
databases