frege-systems topic
List
frege-systems repositories
pmGenerator
20
Stars
3
Forks
Watchers
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
