LP Repository for proofs related to linear programming. There are a lot of scratch files in this repository. The main file is LP_operations, which imports partition.