A (Reasonably) Opinionated Comparison of Isabelle/HOL, Lean, HOL4, and Agdablueberrywren.dev2 points·fanf2··0 commentsOpen articleSaveView on HN