Ceilican

Managed Projects

Skeptik

Analyzed about 15 hours ago

Proof theory and automated deduction framework focused on proof compression techniques and implemented in Scala.

15.2K lines of code

0 current contributors

almost 8 years since last commit

1 users on Open Hub

Inactive

I Use This

Mostly written in Scala

Licenses: Creative_...

Tags logic proof_assistant proof_checker proofs proof_theory prooftheory proving scala theoremprover

ScavengerProver

Analyzed about 11 hours ago

Scavenger is an automated theorem prover based on the new conflict resolution calculus, which lifts some aspects of the conflict-drive clause learning approach used by sat-solvers to logics with quantifiers.

5.2K lines of code

0 current contributors

about 3 years since last commit

0 users on Open Hub

Inactive

I Use This

Mostly written in Scala

Licenses: No declared licenses

Tags ai automated first-order fol logic prover reasoning sat