HN Trends Tracker

HN Trends Tracker

backend ok

Repost history

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

Current story

#
A (Reasonably) Opinionated Comparison of Isabelle/HOL, Lean, HOL4, and Agda(blueberrywren.dev)
HN #50,031,9172026-10-10 11:42 UTC
1 pointsby fanf23 days ago0 comments

Prior reposts (1 of 3 total)

#
A tale of four theorem provers(blueberrywren.dev)
HN #50,023,9852026-10-09 17:35 UTC
2 pointsby whwhyb4 days ago0 comments