A (Reasonably) Opinionated Comparison of Isabelle/HOL, Lean, HOL4, and Agda Posted by fanf2 on Saturday October 10, 2026 @07:42AM from the blueberrywren.dev dept. https://blueberrywren.dev/blog/primes/ ( no comments | on HN )
There are no comments yet.