L

Lean4_Examples

Project information

Collection of Lean4 examples, starting with a proof of Farkas' Lemma (finite dimension) written by Aristotle.

Lean4 linear optim...

4 Commits
1 Branch
0 Tags

Created on

April 28, 2026

Loading