MathiasVP/lattice

A Coq formalization of (bounded) lattices

CoqMIT