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 53f8bd47dc · Add function back in to Embedding · Updated 2026-08-10 02:43:20 +00:00    DanilaFe	0 114	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