Projects with this topic
Sort by:
-
Collection of Lean4 examples, starting with a proof of Farkas' Lemma (finite dimension) written by Aristotle.
Updated
Collection of Lean4 examples, starting with a proof of Farkas' Lemma (finite dimension) written by Aristotle.