Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub topics: proof-minimization

xamidi/pmGenerator

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

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

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