Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
manger_llex.v		manger_llex.v
manger_product.v		manger_product.v
manger_sets.v		manger_sets.v
pGM6287.pdf		pGM6287.pdf

Repository files navigation

Formally-Verified-MultiObjective-Optimisation (It is still ongoing in a separate (closed-source) repo)

Attempt to formalise this nice paper in semiring setting https://web.math.pmf.unizg.hr/glasnik/forthcoming/pGM6287.pdf

About

Attempt to formalise this nice paper in semiring setting https://web.math.pmf.unizg.hr/glasnik/forthcoming/pGM6287.pdf

Apache-2.0 license

Report repository

Releases

No releases published

Packages

Contributors

Languages

Rocq Prover 100.0%