xamidi pmGenerator Discussions
Discussions
-
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 challengeCompetitive open challenge -
You must be logged in to vote On Proof Compression Algorithms
documentationImprovements or additions to documentation proof minimizationFormal proof search, the shorter the better questionsTo ask questions related to a particular topic suggestionsTo make suggestions related to a particular topic -
You must be logged in to vote -
You must be logged in to vote [PMC: 1-basis C-N] Looking for related formally published scientific literature
questionFurther information is requested proof minimizationFormal proof search, the shorter the better suggestionsTo make suggestions related to a particular topic -
You must be logged in to vote Alternative tools and better ways to parse and validate proofs
enhancementNew feature or request questionFurther information is requested suggestionsTo make suggestions related to a particular topic proof assistantsTopic related to proof assistants
