proof-complexity topic

List proof-complexity repositories

Stars

Forks

Watchers

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