xamidi / pmGenerator

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
13Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for pmGenerator