chore(bump Lean version)

jesse-michael-han / lean-gptf

Interactive neural theorem proving in Lean

Apache License 2.0

118 stars 6 forks source link

Closed spolu closed 3 years ago

spolu commented 3 years ago

r? @jesse-michael-han

spolu commented 3 years ago

(properly builds)

jesse-michael-han commented 3 years ago

thanks, LGTM!