fp-lean icon indicating copy to clipboard operation
fp-lean copied to clipboard
verified publisher icon leanprover

[Typo] "that" should be "than" in 2.5

Open unfode opened this issue 1 year ago • 1 comments

Quickly testing IO actions with #eval can be much more convenient that compiling and running whole programs.

image

unfode avatar Oct 20 '24 03:10 unfode

Hello, I would like to work in this issue

diego-hdz1 avatar May 07 '25 19:05 diego-hdz1