HN Trends Tracker

HN Trends Tracker

backend ok

Repost history

Canonical URL: https://blueberrywren.dev/blog/primes

Current story

#
Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers(blueberrywren.dev)
HN #50,043,2022026-10-11 13:40 UTC
2 pointsby birdculture1 days ago0 comments

Prior reposts (2 of 3 total)

#
A tale of four theorem provers(blueberrywren.dev)
HN #50,023,9852026-10-09 17:35 UTC
2 pointsby whwhyb3 days ago0 comments
#
A (Reasonably) Opinionated Comparison of Isabelle/HOL, Lean, HOL4, and Agda(blueberrywren.dev)
HN #50,031,9172026-10-10 11:42 UTC
1 pointsby fanf22 days ago0 comments