GitHub - kim-em/hex-lp: Sketch: a fast, fully verified Lean-native LP library. SKETCH.md outlines phases 0-13 from textbook simplex through verified MILP.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
SKETCH.md		SKETCH.md

About

Sketch: a fast, fully verified Lean-native LP library. SKETCH.md outlines phases 0-13 from textbook simplex through verified MILP.

No releases published