HN Trends Tracker

backend ok

Repost history

Canonical URL: https://leanprover.zulipchat.com/

Current story

#
Counterexample to the Lean Conjecture (Soundness Bug)(leanprover.zulipchat.com)
HN #49,087,4312026-07-28 17:47 UTC
1 pointsby ahlCVA16 days ago0 comments

#
Sphere Eversion Project - Turning Spheres inside out(leanprover.zulipchat.com)
HN #33,627,9522022-11-16 18:23 UTC
1 pointsby amar-laksh1366 days ago0 comments
#
Formal Conjectures: Contribute your favorite conjecture(leanprover.zulipchat.com)
HN #44,244,8372025-06-11 06:46 UTC
2 pointsby firsching429 days ago0 comments
#
IMProofBench open problem solved by GPT-5(leanprover.zulipchat.com)
HN #46,317,9942025-12-18 20:11 UTC
1 pointsby marojejian238 days ago1 comments
#
The role of AI companies in large formalisation projects(leanprover.zulipchat.com)
HN #47,491,2752026-03-23 15:58 UTC
3 pointsby mti144 days ago0 comments
#
Software Foundations being translated to Lean(leanprover.zulipchat.com)
HN #48,598,0652026-06-19 13:00 UTC
3 pointsby navidhg56 days ago1 comments