hilbert-systems
There are 0 repository under hilbert-systems topic.
xamidi / pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
Language:C++ 9
There are 0 repository under hilbert-systems topic.
xamidi / pmGeneratorAn exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.