#proofminimization — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #proofminimization, aggregated by home.social.
-
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