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 904f6375be · Consolidate per-operator trace lifting into GGraph.Embed + Trace.embed · Updated 2026-07-02 20:06:40 +00:00    DanilaFe	0 106	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