Code

Distributivity completion#152

Code

Open

hirthjo wants to merge 3 commits intodevtomhanika/conexp-clj:devfrom distributivity-completiontomhanika/conexp-clj:distributivity-completionCopy head branch name to clipboard

+174

Commits

Commits on Mar 27, 2024

• Methods for completing a lattice to a distributive lattice

  hirthjo

  committed
  d7d3c75

Commits on Jun 13, 2024

• Merge branch 'dev' into distributivity-completion

  hirthjo

  committed
  279bd3b

• fixed boring imports

  hirthjo

  committed
  eeecb4a