Shadowgraph
TrendingAbout
Sign in

verified-optimization/CvxLean

Convex optimization modeling in Lean 4

Lean

75

1,237 commits

updated May 31, 2024

See the code
convex-optimization
formal-verification
interactive-theorem-proving
lean4

Contributors

ramonfmir

1,235 commits

abentkamp

1 commits

madvorak

1 commits

Languages

Lean

74.7%

Rust

20.9%

Python

3.9%

verified-optimization/CvxLean

Convex optimization modeling in Lean 4

Lean

75

1,237 commits

updated May 31, 2024

See the code
convex-optimization
formal-verification
interactive-theorem-proving
lean4

Contributors

ramonfmir

1,235 commits

abentkamp

1 commits

madvorak

1 commits

Languages

Lean

74.7%

Rust

20.9%

Python

3.9%