3 ms·In the mathematical community, the best known proof assistants are Coq, Lean and Isabelle.by ykonstant 4y agoIn the mathematical community, the best known proof assistants are Coq, Lean and Isabelle.