xamidi pmGenerator Q-a Discussions
Q&A Discussions
Ask the community for help
-
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
