Signin

Lean Together 2024: Ramon Fernández Mir, CvxLean, modeling convex optimization problems in Lean

leanprover community • January 25, 2024
Video Thumbnail

You May Also Like

leanprover community

View Channel

About

No channel description available.

Latest Posts

Video Thumbnail

Lean Together 2024: Josh Clune, Duper, A higher order proof producing superposition theorem prover

leanprover community

Video Thumbnail

Infinitude of primes --- a Lean theorem prover demo

leanprover community

Video Thumbnail

LftCM2020: Mathematics in Lean introduction - Patrick Massot

leanprover community

Video Thumbnail

Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean

leanprover community

AI Assistant

Loading...