A (Reasonably) Opinionated Comparison of Isabelle/HOL, Lean, HOL4, and Agda (blueberrywren.dev) 1 points by fanf2 19d ago ↗ HN
0 comments
[ 1.6 ms ] story [ 7.0 ms ] threadNo comments yet.