Code

Forgetting/projection.#16

Code

Merged

haz merged 4 commits intomasterQuMuLab/python-nnf:masterfrom projectionQuMuLab/python-nnf:projectionCopy head branch name to clipboardAug 7, 2020

+78-5

Commits

Commits on Aug 6, 2020

• Initial attempt at forgetting/projection.

  haz

  committed
  05a07a8

  Copy full SHA for 05a07a8

• Some style fixes.

  haz

  committed
  fcc94a9

  Copy full SHA for fcc94a9

Commits on Aug 7, 2020

• Improvements following feedback.

  haz

  committed
  3f33681

  Copy full SHA for 3f33681

• Minor typo fix.

  haz

  committed
  bf336de

  Copy full SHA for bf336de