Code

Sketching operations#5

Code

Merged

jtristan merged 10 commits intomainleanprover/SHerLOC:mainfrom Operationsleanprover/SHerLOC:OperationsCopy head branch name to clipboardAug 20, 2024

+315-88

Commits

Commits on Aug 19, 2024

• Sketching operations

  jtristan

  committed
  4c910ea

  Copy full SHA for 4c910ea

Commits on Aug 20, 2024

• Functions

  jtristan

  committed
  539a218

  Copy full SHA for 539a218

• Programs

  jtristan

  committed
  1dae639

  Copy full SHA for 1dae639

• Operations with call and return

  jtristan

  committed
  e108188

  Copy full SHA for e108188

• Syntax

  jtristan

  committed
  5149d6b

  Copy full SHA for 5149d6b

• Notes

  jtristan

  committed
  d3603ae

  Copy full SHA for d3603ae

• Update Notes.md

  jtristan

  authored
  c49d6d1

  Copy full SHA for c49d6d1

• README

  jtristan

  committed
  434ed0d

  Copy full SHA for 434ed0d

• AST

  jtristan

  committed
  cc991ae

  Copy full SHA for cc991ae

• Moved Lean files

  jtristan

  committed
  534949c

  Copy full SHA for 534949c