Code

docs: fix typos#2918

Code

Merged

dannywillems merged 6 commits intoo1-labs:mastero1-labs/proof-systems:masterfrom oliveredget:typooliveredget/proof-systems:typoCopy head branch name to clipboardJan 2, 2025

+8-8

Commits

Commits on Dec 31, 2024

• Fix typo book/src/pickles/diagrams.md

  oliveredget

  committed
  5a9e9af

  Copy full SHA for 5a9e9af

• Fix typo book/src/pickles/overview.md

  oliveredget

  committed
  33094e9

  Copy full SHA for 33094e9

• Fix typo book/src/snarky/kimchi-backend.md

  oliveredget

  committed
  a1e6103

  Copy full SHA for a1e6103

• Fix typo book/src/snarky/snarky-wrapper.md

  oliveredget

  committed
  2a6085d

  Copy full SHA for 2a6085d

• Fix typo book/src/snarky/vars.md

  oliveredget

  committed
  8b4a231

  Copy full SHA for 8b4a231

• Fix typo o1vm/README.md

  oliveredget

  committed
  fc5755d

  Copy full SHA for fc5755d