xamidi pmGenerator General Discussions
General Discussions
Chat about anything and everything here
-
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
