package rocq-mathcomp-order
Mathematical Components Library on order theory
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-2.5.0.tar.gz
sha256=3db2f4b1b7f9f5a12d3d0c4ba4e325a26a77712074200319660c0e67e25679f1
Description
This library contains definitions and theorems about partial orders, lattices, total orders...
Tags
keyword:small scale reflection keyword:mathematical components keyword:order theory keyword:partial order keyword:lattices keyword:total order logpath:mathcomp.orderPublished: 13 Nov 2025
On This Page