Comparison of Two Theorem Provers: Isabelle/HOL and Coqarxiv.org2 points·algebraically··0 commentsOpen articleSaveView on HN