Closed mseri closed 1 month ago
Closes #27
The second commit addresses a known issue, fixed in the upcoming version: https://github.com/leanprover/lean4/issues/4099
Closes #27