Infinitude of primes --- a Lean theorem prover demo

Описание к видео Infinitude of primes --- a Lean theorem prover demo

The completed proof is at
https://leanprover.zulipchat.com/#nar...

Speaker: Scott Morrison

Комментарии

Информация по комментариям в разработке