Code

Moogle syntax#3

Code

Merged

kim-em merged 7 commits intomainleanprover-community/LeanSearchClient:mainfrom moogleleanprover-community/LeanSearchClient:moogleCopy head branch name to clipboardSep 13, 2024

+189-58

Commits

Commits on Sep 12, 2024

• Moogle code draft (some renaming remains)

  siddhartha-gadgil

  committed
  1bb389e

  Copy full SHA for 1bb389e

• Names, docs corrected

  siddhartha-gadgil

  committed
  2dddae1

  Copy full SHA for 2dddae1

• More symmetric names

  siddhartha-gadgil

  committed
  49fa2fe

  Copy full SHA for 49fa2fe

• refactored "incompleteSyntax"

  siddhartha-gadgil

  committed
  05e26f9

  Copy full SHA for 05e26f9

• reduced some code duplication

  siddhartha-gadgil

  committed
  1e1e49b

  Copy full SHA for 1e1e49b

• further reduced duplication

  siddhartha-gadgil

  committed
  9fc966a

  Copy full SHA for 9fc966a

Commits on Sep 13, 2024

• Apply suggestions from code review

  kim-em

  authored
  05f5fe6

  Copy full SHA for 05f5fe6