Category:Proof assistantsFrom Wikipedia, the free encyclopedia The main article for this category is Proof assistant.