There are 0 repository under frege-systems topic.
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.