HN Trends Tracker

HN Trends Tracker

backend ok

Repost history

Canonical URL: https://isa-afp.org/

Current story

#
Archive of Formal Proofs(isa-afp.org)
HN #49,359,3752026-08-19 10:08 UTC
2 pointsby Bluestein24 days ago0 comments

Prior reposts (2 of 3 total)

#
Archive of formal proofs(isa-afp.org)
HN #16,248,1492018-01-27 21:25 UTC
2 pointsby adamnemecek3150 days ago0 comments
#
Archive of Formal Isabelle Proofs(isa-afp.org)
HN #39,377,6202024-02-15 00:36 UTC
4 pointsby c0balt941 days ago0 comments