Infinitude of primes --- a Lean theorem prover demo
leanprover community
0:00 / 0:00
Infinitude of primes --- a Lean theorem prover demo
40 463 просмотра · 6 лет назад
leanprover community
4,98 тыс. подписчиков
40 463 просмотра · 6 лет назад
The completed proof is at
https://leanprover.zulipchat.com/#nar...
Speaker: Scott Morrison
