KnowraProof assistantLinked fromLinked fromThe 16 pages that link to Proof assistant, each with the reason it gives.All 16Broader topic 1Related 14Compared with 1FormalismBroader topic: Modern proof assistants turn formalist ideals into tools for verified mathematics.