Default Branch

main f5457d8841 · Move proof of least element into FiniteHeightLattice · Updated 2025-07-26 11:16:22 +00:00

ZIP  TAR.GZ

Branches

fable-lean-migration b16f14fdfd · Lean migration: typeclass-based parameter passing, as in the Agda original · Updated 2026-06-10 06:32:38 +00:00    DanilaFe	0 41	Compare	ZIP  TAR.GZ
dag-lattice-builder 1c2bcc2d92 · Require bottom element to actually be bottom; finish proof · Updated 2026-02-17 04:15:10 +00:00    DanilaFe	0 33	Compare	ZIP  TAR.GZ