Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

Topic: "proof-complexity"

xamidi/pmGenerator

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

Language: C++ - Size: 45.4 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 21 - Forks: 3

Related Topics
condensed-detachment 1 formal-proofs 1 frege-systems 1 hilbert-systems 1 hpc 1 logic 1 mathematical-logic 1 mpi 1 proof-minimization 1 proof-theory 1 propositional-calculus 1 tbb 1 unification 1