Signin

Prof. Kontorovich, Informal Lecture on Mathematical Rigor and the Lean Theorem Prover

Alex Kontorovich • July 8, 2023
Video Thumbnail

You May Also Like

Alex Kontorovich

View Channel

About

No channel description available.

Latest Posts

Video Thumbnail

Prof. Kontorovich, Informal Lecture on Mathematical Rigor and the Lean Theorem Prover

Alex Kontorovich

AI Assistant

Loading...