Skip to content

@verified-optimization Verified Optimization

Change the repository type filter

All

    Repositories list

    9 repositories

    • CvxLean

      Public
      Convex optimization modeling in Lean 4
      formal-verificationconvex-optimizationinteractive-theorem-provinglean4
      Lean
      •
      Apache License 2.0
      •4•44•9•0•Updated May 31, 2024May 31, 2024

    • ecos

      Public
      A lightweight conic solver for second-order cone programming.
      C
      •
      GNU General Public License v3.0
      •125•0•0•0•Updated May 21, 2024May 21, 2024

    • lean4web

      Public
      The Lean 4 web editor
      CSS
      •
      Apache License 2.0
      •29•0•0•0•Updated May 14, 2024May 14, 2024

    • doc-gen4

      Public
      Document Generator for Lean 4
      Lean
      •
      Apache License 2.0
      •42•0•0•0•Updated Apr 25, 2024Apr 25, 2024

    • SciLean

      Public
      Scientific computing in Lean 4
      Lean
      •
      Apache License 2.0
      •32•1•0•0•Updated Jan 31, 2024Jan 31, 2024

    • optlibport

      Public archive
      Lean
      •0•1•0•0•Updated Jan 4, 2023Jan 4, 2023

    • mathport-optlib

      Public archive
      Mathport is a tool for porting Lean3 projects to Lean4
      Lean
      •
      Apache License 2.0
      •15•0•0•0•Updated Jan 4, 2023Jan 4, 2023

    • optlib

      Public archive
      Lean
      •0•2•0•0•Updated Jan 4, 2023Jan 4, 2023

    • .github

      Public
      0•0•0•0•Updated Sep 29, 2022Sep 29, 2022