Ceilican

Managed Projects

Skeptik

Analyzed 1 day ago

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

15.2K lines of code

0 current contributors

over 9 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 1 day 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

over 4 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