Signin

Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura

Certora ​ • October 7, 2023
Video Thumbnail

You May Also Like

Certora ​

View Channel

About

No channel description available.

Latest Posts

Video Thumbnail

Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura

Certora ​

AI Assistant

Loading...