hazel icon indicating copy to clipboard operation
hazel copied to clipboard

Published 20 hours ago • verified publisher icon hazelgrove

Added theorem keyword

Open nskh opened this issue 10 months ago • 0 comments

In-progress PR to add a theorem keyword in the style of test ... end to Hazel.

Based on dev branch, not stepper-rewrites

Need to

  • rebase on latest dev
  • test some more

nskh avatar Apr 12 '24 14:04 nskh