Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
chalr
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
chalr
5mo ago
There have always been attempts at settling all mathematics by using mechanized approaches. Often by mathematicians who already had made an impact and then wanted an automated approach. The Bourbaki group was one of the first who attempted