HN Trends Tracker

HN Trends Tracker

backend ok

Repost history

Canonical URL: https://lean.golf/

Current story

#
Lean Golf – Code golf but you're proving theorems in Lean(lean.golf)
HN #49,845,4342026-09-25 14:47 UTC
1 pointsby kurinikku35 days ago0 comments

Prior reposts (1 of 2 total)

#
Lean Golf – Code golf but you're proving theorems in Lean(lean.golf)
HN #49,383,2392026-08-21 03:03 UTC
1 pointsby kurinikku71 days ago0 comments