chore: bump for lean4#3159

leanprover-community / repl

A simple REPL for Lean 4, returning information about errors and sorries.

54 stars 13 forks source link

Closed mhuisi closed 5 months ago

mhuisi commented 5 months ago

To be merged when the v4.6.0 release candidate is published.

semorrison commented 5 months ago

I tried to get the tests to run here, but ran into what is apparently a lake issue with transitive dependencies: https://github.com/leanprover/lean4/issues/3167

Resolved now.