search

jesse-michael-han / lean-gptf

Interactive neural theorem proving in Lean
Apache License 2.0
118 stars 6 forks source link

Is there any version for Lean 4? #13

Open EricZhongYJ opened 11 months ago

EricZhongYJ commented 11 months ago

Is there any version for Lean 4?

marekwos-ifx commented 7 months ago

I have the same question