New: pmGenerator, since version 1.2.2, can
- compress Hilbert-style proofs via exhaustive search on user-provided proof data
- convert Fitch-style natural deduction proofs into any sufficiently explored Hilbert system

#Logic #HilbertSystems #NaturalDeduction #FormalMethods #ProofTheory #Mathematics

https://github.com/xamidi/pmGenerator/releases/tag/1.2.2

An explanation of what axioms and mathematical proofs really are. With a reference to my tool that helps exploring some of them.

https://math.codidact.com/posts/290943/291261#answer-291261

#Logic #Axioms #Mathematics #ProofTheory #HilbertSystems #ModalLogic #Research #Software

Damn, another social network not containing anything about my research interests..

Looking for challengers: https://github.com/xamidi/pmGenerator/discussions/2

#ProofTheory #HilbertSystems #ProofMinimization #Research #Logic #Puzzle #Challenge