Comparison of Two Theorem Provers: Isabelle/HOL and Coq (2018)arxiv.org2 points·vg_head··0 commentsOpen articleSaveView on HN