version 2

madvorak · Sep 9, 2024 · 86026c3 · 86026c3
1 parent c9f497c
commit 86026c3
Show file tree

Hide file tree

Showing 16 changed files with 1 addition and 7,659 deletions.
diff --git a/nonLean/Proof_finFarkasBartl_simplified.pdf → FarkasBartl.pdf b/nonLean/Proof_finFarkasBartl_simplified.pdf → FarkasBartl.pdf
diff --git a/README.md b/README.md
@@ -14,9 +14,5 @@ We extend certain Farkas-like theorems to a setting where coefficients are from
 
 ## Main results
 
-* [Farkas-Bartl theorem](https://github.com/madvorak/duality/blob/f8bb1a10ee5ff811b057cdcdb50b0b668d6e8d75/Duality/FarkasBartl.lean#L216)
+* [Farkas-Bartl theorem](https://github.com/madvorak/duality/blob/f8bb1a10ee5ff811b057cdcdb50b0b668d6e8d75/Duality/FarkasBartl.lean#L216) with [explanation](FarkasBartl.pdf)
 * [Strong duality for extended LP](https://github.com/madvorak/duality/blob/f8bb1a10ee5ff811b057cdcdb50b0b668d6e8d75/Duality/LinearProgramming.lean#L1021)
-
-## Technical report
-
-[work in progress](https://github.com/madvorak/duality/blob/main/nonLean/duality.pdf)
diff --git a/nonLean/AI-generated.jpg b/nonLean/AI-generated.jpg