Repository navigation

LP

Public

About

No description, website, or topics provided.

4 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
.vscode		.vscode
TeX		TeX
scratch		scratch
src		src
.DS_Store		.DS_Store
.gitignore		.gitignore
README.md		README.md
Tableau datatype.docx		Tableau datatype.docx
leanpkg.toml		leanpkg.toml
paper.log		paper.log
test.lean		test.lean

Repository files navigation

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.

About

No description, website, or topics provided.

4 stars

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages