xamidi pmGenerator Discussions
Discussions
-
You must be logged in to vote On Proof Compression Algorithms
documentationImprovements or additions to documentation questionsTo ask questions related to a particular topic suggestionsTo make suggestions related to a particular topic -
You must be logged in to vote [Proof Minimization Challenge] Minimal 1-bases for C-N propositional calculus
documentationImprovements or additions to documentation proof minimizationFormal proof search, the shorter the better