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