Code

Added theorem keyword#1263

Code

Closed

nskh wants to merge 1 commit intodevhazelgrove/hazel:devfrom feature/theorem-keywordhazelgrove/hazel:feature/theorem-keywordCopy head branch name to clipboard

+43-3

Commits

Commits on Apr 10, 2024

• Added theorem keyword and this compiles; haven't tested yet

  nskh

  committed
  0241c7f