Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / verified-optimization / CvxLean

Convex optimization modeling in Lean 4

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/verified-optimization%2FCvxLean

Stars: 27
Forks: 3
Open Issues: 9

License: apache-2.0
Language: Lean
Repo Size: 22.5 MB
Dependencies: 53

Created: over 1 year ago
Updated: 12 days ago
Last pushed: about 22 hours ago
Last synced: about 6 hours ago

Topics: convex-optimization, formal-verification, interactive-theorem-proving, lean4

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/main.yml actions
    .github/workflows/docs.yml actions
    egg-pre-dcp/Cargo.toml cargo
    egg-pre-dcp/Cargo.lock cargo