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