Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

GAPT

Analyzed 1 day ago

GAPT is a proof theory framework. The framework aims at creating data types, algorithms, parsers, transformations and other components common in proof theory in general and automated proof theory in particular. Two of the applications within this framework, which will be directly developed and ... [More]

110K lines of code

5 current contributors

4 months since last commit

2 users on Open Hub

Very Low Activity

I Use This

Mostly written in Scala

Licenses: gpl3_or_l...

Tags clausalcalculus cutelimination firstorderlogic higherorderlogic logic mathematics prooftheory scala sequentcalculus theoremprover typetheory

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

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

lean

L

Analyzed about 6 hours ago

Lean Theorem Prover

5.01M lines of code

6 current contributors

about 8 hours since last commit

0 users on Open Hub

Very High Activity

I Use This

Mostly written in C

Licenses: apache_2

Tags proof_assistant proofassistant prooftheory theoremprover