xamidi / pmgenerator Goto Github PK
View Code? Open in Web Editor NEWAn exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
Home Page: https://xamidi.github.io/pmGenerator/
License: GNU General Public License v3.0