Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
7ewkVE6jJquN7e3
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
7ewkVE6jJquN7e3
4y ago
I think you should rather ask GP "How do you know that?". The link to the about page of Lean doesn't back up the claim that you can only write programs that halt. And indeed, you can write programs that do not halt. You just
2.
▲
by
7ewkVE6jJquN7e3
4y ago
I strongly encourage you to check back in a couple of months. I expect things will be a lot more polished then. The team is currently quite busy with porting mathlib from Lean 3 to Lean 4. This is an excellent stress test for the language,