Code

Short truth table 351#370

Code

Merged

Chase-Grajeda merged 2 commits intoBram-Hub:devBram-Hub/LEGUP:devfrom N-Desmarais:Short-Truth-Table-351N-Desmarais/Legup:Short-Truth-Table-351Copy head branch name to clipboardNov 15, 2022

22-31

Commits

Commits on Nov 6, 2022

• Fixed Elimination rule bug

  Show description for b0172c5
  N-Desmarais

  committed
  b0172c5

Commits on Nov 15, 2022

• Merge branch 'dev' into Short-Truth-Table-351

  Chase-Grajeda

  authored
  3d4ddf7