Code

Add tests#52

Code

Merged

eyihluyc merged 2 commits intomasterobjectionary/proof:masterfrom add-examplesobjectionary/proof:add-examplesCopy head branch name to clipboardDec 7, 2024

+517

Commits

Commits on Dec 6, 2024

• Add a simple example

  eyihluyc

  committed
  f9a232f

Commits on Dec 7, 2024

• Add examples

  eyihluyc

  committed
  3e11256