All pull requests

Pull requests

• added closing "

  #18·steveninsig opened Nov 19, 2025·

  ·

• grammar edits to proves_quick_start.md

  #17·steveninsig opened Sep 7, 2025·

  ·
  2

• minor grammar edits

  #16·steveninsig opened Sep 7, 2025·

  ·
  1

• grammar edit

  #15·steveninsig opened Sep 7, 2025·

  ·
  1

• Update overview.md

  #14·steveninsig opened Sep 7, 2025·

  ·
  1

• Update design_philosophy.md

  #13·steveninsig opened Sep 7, 2025·

  ·