lean-gptf icon indicating copy to clipboard operation
lean-gptf copied to clipboard

Published 20 hours ago • verified publisher icon jesse-michael-han

Is there any version for Lean 4?

Open EricZhongYJ opened this issue 1 year ago • 1 comments

Is there any version for Lean 4?

EricZhongYJ avatar Dec 02 '23 06:12 EricZhongYJ

I have the same question

marekwos-ifx avatar Mar 22 '24 18:03 marekwos-ifx