Skip to content
@verified-optimization

Verified Optimization

Welcome to the Verified Optimization project!

Pinned Loading

  1. CvxLean CvxLean Public

    Convex optimization modeling in Lean 4

    Lean 42 4

Repositories

Showing 9 of 9 repositories
  • CvxLean Public

    Convex optimization modeling in Lean 4

    verified-optimization/CvxLean’s past year of commit activity
    Lean 42 Apache-2.0 4 9 0 Updated May 31, 2024
  • ecos Public Forked from embotech/ecos

    A lightweight conic solver for second-order cone programming.

    verified-optimization/ecos’s past year of commit activity
    C 0 GPL-3.0 123 0 0 Updated May 21, 2024
  • lean4web Public Forked from leanprover-community/lean4web

    The Lean 4 web editor

    verified-optimization/lean4web’s past year of commit activity
    CSS 0 Apache-2.0 21 0 0 Updated May 14, 2024
  • doc-gen4 Public Forked from leanprover/doc-gen4

    Document Generator for Lean 4

    verified-optimization/doc-gen4’s past year of commit activity
    Lean 0 Apache-2.0 42 0 0 Updated Apr 25, 2024
  • SciLean Public Forked from lecopivo/SciLean

    Scientific computing in Lean 4

    verified-optimization/SciLean’s past year of commit activity
    Lean 1 Apache-2.0 30 0 0 Updated Jan 31, 2024
  • optlibport Public archive
    verified-optimization/optlibport’s past year of commit activity
    Lean 1 0 0 0 Updated Jan 4, 2023
  • mathport-optlib Public archive Forked from leanprover-community/mathport

    Mathport is a tool for porting Lean3 projects to Lean4

    verified-optimization/mathport-optlib’s past year of commit activity
    Lean 0 Apache-2.0 15 0 0 Updated Jan 4, 2023
  • optlib Public archive
    verified-optimization/optlib’s past year of commit activity
    Lean 2 0 0 0 Updated Jan 4, 2023
  • .github Public
    verified-optimization/.github’s past year of commit activity
    0 0 0 0 Updated Sep 29, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…