runner icon indicating copy to clipboard operation
runner copied to clipboard
verified publisher icon codewars

Add lean4

Open Seasawher opened this issue 2 years ago • 0 comments

Please complete the following information about the language:

  • Name: lean4

  • Website: https://leanprover.github.io/

  • Language Version: 4

  • Any comments: official release of Lean 4 has come!

:+1: reaction might help to get this request prioritized.

Seasawher avatar Sep 08 '23 09:09 Seasawher