chore: bump for lean4#3159

leanprover / LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

Apache License 2.0

60 stars 16 forks source link

chore: bump for lean4#3159 #57

Closed mhuisi closed 9 months ago

mhuisi commented 9 months ago

This PR bumps LeanInk for leanprover/lean4#3159. It should not be merged before the corresponding release candidate is released, in which case the toolchain still needs to be adjusted.