Code

Theorem keyword#1376

Code

Open

thomasporter522 wants to merge 7 commits intodevhazelgrove/hazel:devfrom theorem-keywordhazelgrove/hazel:theorem-keywordCopy head branch name to clipboard

+811-82

Commits

Commits on Aug 15, 2024

• new forms

  thomasporter522

  committed
  c5acdec

  Copy full SHA for c5acdec

• added core language constructs

  thomasporter522

  committed
  9ccd113

  Copy full SHA for 9ccd113

• fixed form name

  thomasporter522

  committed
  3e662de

  Copy full SHA for 3e662de

Commits on Aug 16, 2024

• added maketerm cases, causing stack overflow

  thomasporter522

  committed
  809b9d9

  Copy full SHA for 809b9d9

Commits on Aug 19, 2024

• added ground cases, fixed stack overflow

  thomasporter522

  committed
  07e19e5

  Copy full SHA for 07e19e5

Commits on Aug 28, 2024

• Merge branch 'dev' of https://github.com/hazelgrove/hazel into theorem-keyword

  thomasporter522

  committed
  f98ef42

  Copy full SHA for f98ef42

• Merge branch 'dev' of https://github.com/hazelgrove/hazel into theorem-keyword

  thomasporter522

  committed
  da40848

  Copy full SHA for da40848