sign up
sign up
sign up
sign up
pull down to refresh
A perfectable programming language | Hacker News
news.ycombinator.com/item?id=47744540
169 sats
\
1 comment
\
@beyond_turbulence
14 Apr
math
art
science
BooksAndArticles
write
compose
speak now and forever hold your keys
reply
60 sats
related posts
view all related items
6 sats
lit
new
top
6 sats
\
0 replies
\
@beyond_turbulence
OP
14 Apr
Lean proved this program…
https://news.ycombinator.com/item?id=47759709
reply
Lean proved this program…
https://news.ycombinator.com/item?id=47759709