Code

Update typo in index-unification.md#18

Code

Open

thomasporter522 wants to merge 1 commit intoaya-prover:mainaya-prover/aya-prover-docs:mainfrom thomasporter522:patch-1thomasporter522/aya-prover-docs:patch-1Copy head branch name to clipboard

+1-1

Commits

Commits on Jun 11, 2024

• Update typo in index-unification.md

  thomasporter522

  authored
  baf5263