Giters
Verified Optimization (verified-optimization)

Verified Optimization

verified-optimization

Geek Repo

Github PK Tool:Github PK Tool

Verified Optimization's repositories

CvxLean

Convex optimization modeling in Lean 4

Language:LeanLicense:Apache-2.0Stargazers:27Issues:0Issues:0

ecos

A lightweight conic solver for second-order cone programming.

Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0

lean4web

The Lean 4 web editor

License:Apache-2.0Stargazers:0Issues:0Issues:0

doc-gen4

Document Generator for Lean 4

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

SciLean

Scientific computing in Lean 4

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

optlibport

Language:LeanStargazers:1Issues:0Issues:0

mathport-optlib

Mathport is a tool for porting Lean3 projects to Lean4

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

optlib

Language:LeanStargazers:2Issues:0Issues:0

.github

Stargazers:0Issues:0Issues:0